SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 fC 4 ] Boolean_Expression_Checkers:threads=2elapsed=18.402cpu=30.804gc=1.728factor=1.677zXZִF! ;]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFIUw,J #vX1فRVO/e-sۥM B\o8`~KN՗Y1V~u!+2 ѣbuA5h.kt[V[vs3 )25(B w: S$jlh IF>-Dz٠&m?Wa}ص'F[g 'L\ݭD48S7m5]{MJS8iuO.jʜ/G=L$ZC9p+8$1x  wK$Bů\UҦXZ>@|̅70~λS@D0ZWTz!s߸$ `a)+UNܜ P yȁs0%yƟ1{qx ɣ}2 kAꨨA-./5!3@Lj˚Q7Q59ߨ~@;V}OĻ׃y#&[J6]zmkup,0I A/'hUYK75wd5|M-GI^/A"ّ d JKvtc6!c?B9F#.dHg8;D̛jR?~MxX8+#o C ?^5H;mn~RW'CWO?cYt&BYJ&gf =Ձf!52%JRscf ,Z{ oxZWYQ Or'XߐdaYᜊ)ZKe0õ &5ܓvLr'`F];'OC6qj@:Ὥ[z#Z?<'DVkjq " `&IGqމ) v{'ъXuV'k u OEi;UoP(h>]'Ɵ~xϢiHvoSIh~ ".aMf$<.ChnG#-?Ҷ9hQ8s¨BO}F`QB۬ wM'BDZ̥k4o.$^"j=ψU˾ fR@ez֝[h?UMm'i0"_?fB^/}~Aqk+iCoDNLD&_$2틳(A mX02qgPs5 +QHgYZ4276f83a50948b8b5c1015137966e50f6618a3b479d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 C Boolean_Expression_Checkers