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 ~#  | ] Shivers-CFA:threads=2elapsed=28.009cpu=55.468gc=2.744factor=1.987zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kﲛH;F z f(S:xfn'h}Zs4"z\2"c~颖^8ֻ?'z'Mޚ1z+J 1>Iy״8 vi ^ڿOA|%eo)u &Oa }LA/e<Ű\GKYBQFpnXgH/d)f,R r f7iXOJo 2Lp'#k-EYY"pE\Xq}s@'_RPqRͼ`KDhyUb/}OIDbIHGOp *z.?4_2}ˌ%m0s?xxf%; j>Sl:#]Ɩ=ĜVd6)pľeØu3^?7EB8ȼO(DU~1B3R.RqYLYOu(,NLi DfzlG$M˛ vp>7X, Pf[Hۚ}h#ksV:TEumH2J$Ï,} pjp/ +@9 鐲~/"נKwZ)-6gYZ7zXZִF! N?]ŗXiɟ1˦rnzx <@0+gMLc`2!6(lݣ|RV//AZ\xsv&J @A|DڵŽPK?]ƒ.>y6y7˼2Yo&Ex# C,g8Kw?5j96}0, Fi-kOg ;:`ePv =jU6ٕ=-숐O_:\5A1`Z0*6QgYZ7zXZִF! 7]ŗXi%; !~GE[灀`ז sFlp;vą"}EUSD) َ0YYTASOͺxzaV⏯P3Ng.\:xkd'la;qk8j071R{@x/ ycWP/c^ֺ2ݲ]7$ݾ%Hhѻ_Qɕ6A)J RǾHL_!D k _SdU>75A 4Պ<4~%A{ Z=4F*=Fs8y{k5ٰXrñΓO|-S{?>)e3iG=xzjceA;ϳ9aU{?F8E |++=ɔ4a@K1 "3r_羝@&[j079_hXܺɌS)3WKGX&k9G1A:8$CM]udTqCQ80WMzz/ؾ3ǫIHcQG8ǰeߺ@ OۥZxJ`\bkyFi;SJ"h[Ŏ aR' LI_C4k9b~(F!ʊ`ۨ19 wȪ<, 7b@{%ڙȎi4GPMZݭI%&<v?[1T3stW%*$ȈͩiB{ R gYZb5c31432e3a4a785ef55bf63a269fefeffbb58be79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 6760beee8ace7d46f9707bda98a36d8c8bc2e85f # Shivers-CFA