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 oo LD ]]]ZF:threads=2elapsed=22.479cpu=36.284gc=2.204factor=1.617zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw>S|p/כ*+0h(]@͓E1) ,YOx҆75Z\'~B,FKG:9aVsMnW}j|mt2hlGe=BWU z^fa~3lzH,(gOt$ټKV?H[jneFbEɚx Kg08[1[a)J./8~]x&3[RS+KEhv+!<Ռc@Ʊܪ NwG+˄Ut\k[R'$xuPW&+kW2ϥB#苁[ t{>2ڝqfUaFB:=68Vߝb)jyǘ%fؓ'Gȑ-SǗJϽZN\e7օ-lB?h2Y¬'ҬgYZ7zXZִF! ]ŗXiɟ 1FE`空.]X,J 퀈{}d#)ok^c;:˥Pr.b0]1Ji;'&F*] @Ճ/Ww 1h>;Q4Շn650}};r)r.E`Ed~ Mp0AVTysccv /`x:YWj^JӰE>]ݖj PT1wZw,$Ӗq.[B ?K#$<`hT= `WEeiua32 "E?/e.P}#2bd6=pt 9D.mVQ04hP[d1Cc_Gn̢%&5*uFA @ 8HL"y#,v/us]ǯ C+C뉂@AUzx_ҙ'$>]ҌtLv"h:=X9/ѝp%LF-zSއ@.>gYZ7zXZִF! =]ŗXi%9(P)"a"sTp_]Z. ބV /:8*o̎HĻTY1=gWK6Q0#w7-Mv5$"K\>p{`5 u]"qK.}~ʋv#_+)gCR6߯x}4㝺׬QٍukmIbb-x6 v`tku||_sJ.rղZ1t0 afYv7 '} E;] S5=s͜7 Cudd# [{M:|&Eft3V@lfLc ՔBŴd? }^j%O<șI^X&-#x5ԃ*u@/  ,@-x ޢpH|)2 ?[DJsIkmau)Lb--dh^~&Jsy"ynJq%E棅VH4w|q17$' ~6GNY/J+!8X*c)!Γ惑U%_)JvX7ӫvayO2WKDV*MxvP?醡ARfm .zmjAcH#qTK⃆K3+ׁ=YMD06*fF&?y\ر~tLNۊ5K̠ϦUI<27[!t3kL呱|5 '"‡2D,Hb Ց=n?槩ph9|]AEA D(nWqɴ7&[}!;%_ԪnIb픃] BGFXń(2 ݇"Dt ĕ%CM-,Tègo 9>mN_Zj#P2]0"sy9 %Ʃ{]b|>wL^xA{7tŔKe] ٤+>Iw˫L7<)׌^Н\`W] 3  eDZgYZacbd8d376a4b9c4886a8da89f107136674b782bf5f6b46d75794d7d779141526bb8c5d38bc06bffe5e7f792d8d576817c5c7f88c1d36780b4b0192f7  ZF