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  1  ] HOL-Imperative_HOL:threads=6elapsed=43.107cpu=62.412gc=1.840factor=1.457zXZִF! .|]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l447lpP ׸uRX9Ə S4g Hμ„XƔi?]/k NϨ"Z&HZss4] 8&7'* #V2]JkɁQ(,[ZⰆUǦٟfn 񤆦[C%f 2 x3T,0 90(ÎcVuSƛwe,FKЫGFi+C~ G 1 HOL-Imperative_HOL!g/ИWJ%3) 1e >ÍFiMsO_)X@uqb2~Z A]~GwV91Ў9XM;s Xj?J`mr(R:]{;aa_=p.&Us 4R;:,Z7$~tSrVhQd-t=y`"aښBKeDKd?dR֍!X$ތt9};I0;BQϧZ5=y FJ7I&̝ cL.KBC?,:1\O`g-%N i$ KIz}IQc޶ ,#O&95XZ 'bIiR+Xŗga]a [R4%Vn#[ Sc2CDݗJ]O" #ҲIRGm4C^c}.!ܾ)@$~/5[ǐ Nҗ>FJíT 3{v^XC~_De(ݘOa|BQ}K:ea=L ^jl)l@eJzPat`li D^=.ʇ]ZXs[(F"֒;Ƈߛ1 p3ܓhȔ;6,|+=rIobmK$ ϲ{DR Q Y+R@e|{ A TtaYG,P' thnB/- ])gYZ7zXZִF! G]ŗXiɟ1nhЦx"n_8N]( eOtd:o ܔmԊYb2]v >;n1nn(y[G o<,`zXq7Vfgaib'&{UQli9e ?w68.2xr\Z!ȈKeݛVF.13z \eUs L9ѭ9a#+)e2/PmE.Ȃ{f"nʗ>UI4TⰤbjtْVM(Zr "[Y|} Sh#gYZ7zXZִF! ?]ŗXi%;tı^\es4:HY^vib{-?3@\!}9TRS7 ޿O9(cJ`^ fPbkwm1L$ܾu1]$א*hHD CƠ'N>+M*2S%/ ]9F-OJDaT٣%<45o1~ Gus2H`_GW^՞jGtܢwډkb/ŜxΞO"-{{')GĨk{w2̰L,J I(^kܷ(gl[(E`;>_P[9fe\T6( h&,Zk2$P;/037upХCP\c띧aEq 5'ꡱVy"6^3nI*Jб*0+A&xgt^^fvS#j5;}7^D>G =8XDM H[um7WRR;*4fuc[>|G8ד#oÊ 3UJʵBQ6r%͍PIY[(ӭӼpDEis \r'z!hozz)ԏ%)XLڛv)KWu3ӤT|P8Øi0e$\ҡCcǟ>sk*_ L6vTm|xCF`zJPgp1ذ!Pe"R~ܹ~Y;qK%C2o)h@/՗fuLF 8k.rĭ+Zc |8ZGd14oӺ[~!W(&x-pG/Hac-*+lq!Sֹhƿ@ʉ㧒S%IC/rӞ?2MCsr8 ;3B~?sqZ=^ l֚67 ϐp>:Q,U{\jT #0WXGS 9ϒՏKJaX6ۛڒI'.Ą Kl^Q