SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   n5D  Free-Boolean-Algebra:threads=2elapsed=1.033cpu=1.712gc=0.000factor=1.667zXZִF! Z]ŗXf1-/6vRZR@:>SyR+HwcLYE݉^2 }202>|9L!Ö2xQ^#yڷz:vϵ%FCIW00css}pko;•S$.0 a7N:1bZaD'Xf=,/xa@9iQ:!Ic]ѹ"Q6Tf -C vjbK<}8Ƕ5kK2Jt`ܵ5/f?o͏&●߿`VzngYZ7zXZִF! ]ŗXi%n8mŒ݌[/tWLMMԮ$mDt^x[DHѦOS9sQIW]crr穽i x64l%ώ"3nE6@mB)V}SS k@$S"Vq!2(+J!F}Uy%ܠ뼊W\J`KwJ©Q퉖gpq#u 钲HțY',7lmU\oBr3!NEs q !"XŚwfgG"피a-?K"G 'Z!/}I[ӎhEg\mnhҝI =hH@AG+O11,tͿ p /0ٳ}ڰE Ѷ@_EpgYZ604e0cfa691479812da4652aff7aee1c24f64a3e e79a50293a173d35c3f5bd1ae1071e4a6f757ac4 ee7f67872e9c58a155bab549f35199e43a6d3519c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da 5 Free-Boolean-Algebra