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 O' T\ ] HOL-Cardinals:threads=6elapsed=6.459cpu=33.752gc=1.352factor=5.237zXZִF! V]ŗXf1-q恈<-¡$johkX2I)']8PIyLףĞ4Wۨ^}(ZaD0Pat룓}6RɷXT{LIh5+CҰ,*ׁjHӸ}H׵ޙB8Kl XYɐM;zz*R5syNK7_XH0Hy g{V?#M+de'wwUDr-0O]2h{X> 7*"%\+</ F?뉮3×t M}C@h'v7ӣ 3%qϵ5kx*ꃦ\`PsP{ZF{ S@,8 ZO0Jؔk w ɥ-m]n:*T5҂ӣ~aQ(_<t gYZ7zXZִF! ;#]ŗXiɟ1?ߟt;9BP2CZz眭5 z ־84C _-A?GQhj;}u__M@RfzGoJ@ T(33V1xvUbԁgމ,.H;NLυx*$|F⹖#A YknH߈*x(X([h"=n(r hn &(M2* t3%Яn\/dc|YF? gYZ7zXZִF! !e]ŗXi%;kH-mO;ec*Òvv[Gcٟ˅Վ#Mm.b!SD9i5*;?:RvYĹ8-VΛN Wujs.DʌA$IuO$lCC#lYWw]9J19ײF%yC?6r(ьs>A}~8++ ?7uOKJ?jb rRz7%D: C^sZ= ~ZNvxz\п bJjSDk"ESϒǴi `9GAJ Q.%9>jT3yHc 伽Y'8H(Mx%g͎."Wo>L[BsT;(#1ɢugA46Rn\8rT{Hox\wMYQGx2 E {X:-'iMA0.;5\n|"A bu~x/ٕ ~ИQ@5 蜷nP2HQ3G{&wW-9/̃V5-HDBӃ=`,aq%d z`JG'vOYrU;1yޫ9Z'lWp Pb,Z6* ?b3č<\͈