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 Y?, 4 ]]HOL-Computational_Algebra:threads=6elapsed=33.966cpu=102.928gc=4.136factor=3.037zXZִF! +]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p$_J3A0ݭrjayLGubxa X _[BÇVtec"^dh? *dfsD5odFw|)xIݤz;>ťhj&!(KSUi$ܪ[1_]؇5`͜TqP0| nXdPa6hϡG(vux,>E"ܽ.yjq]~*΀f)IWG]Uٕ< ? HOL-Computational_AlgebradLy2y=cEkRr',݁;D8ྔyh⾖j B`#C Y5u'8 ?c}%FhO 3A=8;_(O`skKg{X䕪s֋>|j Sj}WbWŵ,׽ftG}D'ene,v^q7QjT+f'9_Gr4s)\ւV #d;!rqz(dLj}X& trdC$4V_${f6 ƞeBa%h@A&!IAC0kZ?qRt7IKSt14ț&$rlx~7C_?g W4N>$oQޤn36P-"赺W(+S~<]Ȇ^*9:RmM0gk^KUۊ{?Cϭh6y^E\[:s{ $|Pl֗l!#kḂC'4qvp-*3|AAX{1 :38N|JOsh0pNCUQnh5콍 gYZ7zXZִF! ]ŗXi%9(OA:G#n5@Z|$֒؛tQ1-^_ȞDZ92mJ#fj7vC­QlW[&N ]?EafzWan|0&,^qfK8$4Hso~d7&VͶ O.JrQ4I,SQfDgD,cMI*75n'9P.c57:~ެ.IZ KF )hAZ-|k>(Uc NYt6H$[oQE4 y.bϼo SSz8>ԟ4u؃IT+]wcmKwW(唐A@Zp?*n'<+T_-e_i濞9xC_R &|#7]bG5aO:Vo=7^lK1CLU\ {p*]hZHrźȗOU`Q^Hna[M %Om$Y2nL(_P-(DFxRl_@v`o*̾E&C>^~J s*/bF4ri#ibhs1^]ؓ;5el^0zf0[KPn1CS! M"T]!N =a[NBG-,0ovzU[;y(9v,IL |OK'7ŭNcEXJrQK_j)Z 9)rT\ <΄>T216Ub$$3*}7ViV7m}=OK4]8oBbhczنx& Xhk#A EbW;-jU_c\Ƙ0>uX>dB:¬.lSރ_?yNY.T6ByE%QppWpAPz9>=]Us~é9Ab3淨\a[8J4SH=?̕G/V6lǽj ^dEN@YN--1KOt= |'7RU0!@v{ƻ70-aK6%3 Vt>fejMeJ$>N;po;l ʋ Yl&N_(Y=S}Il|qij^D;b#X,Q5u?ഊpdQ;%ax/ccj >VJDwu,U矴풜^chqv8܋+KN?<0veR&%:E[o/! Z"VBxָJ!/R#j9MK7ȱ1Cc 3Ă[ft䘉ҺhpԼYD|}?@ <0