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 B ,L ]]]ZF:threads=6elapsed=12.029cpu=36.944gc=2.048factor=3.077zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tv =/@zU$~1l+@]QX0sIKu>@tj(B7|C,./Fjz }u [s3$qlKS, D?6.utxUb^xÝ2#7N0`NT;ssȡchEƈQg-ߺO7Pwvqګ6NK2&;ңZg6u ,"pA iaG[ KG!2%Ņ9h~U >ROQ̒ FBP3_Ԧu*kPS'-SmSr|X5̧}q[IDE~NTey;J[3`{AN>1ogYZ7zXZִF! G]ŗXiɟ 1FE`穵ZqxG>r[653zo$9#Qh ϗ (3NhQ;n(3肆)AYNhå9Qol J 9;W&1`~\a~.sʓ_XN)[K'څw_gt1f4:q~krtS0>RL\ ~)v2ç#$pM{ζgQx#mV\##Z[ u R49&$ {^F,&9Jɦ^5x<`2lqN~"wy2[Ek"CoB W[u|GtηvDVǩ"918Umn>zy>}_YiL_4+ [eAmDиQ@YFLkS\0) Wt睾q[|CvK[/ sY7z QiLrJVT8,(3Lv%N _ԪwgYZ7zXZִF! ;]ŗXi%94j3^0#AX|3O7->WQ\l@v}B_u%t' հ| ADL + i|8eaGܴP#rRPn޼>;42R`W#fLr^~rF݆:&^f=H=urMVAtw]w+AXo#׫4c̀p<#Y%ڑ5z2JGnӼWu+Y--E09XͪEw:Uf* 7JlB1qyH[E:z.KW ::dt鶧f:WwV,eL@JRz*ȥLr)^ܑI&'}ѦMPR+X;Nwp>bnatEoK՛8TZY(*Zxdk{))_OF⽊hWVq0<"e|C9enC*̰N#WHQ=cf;кC>d߫ \l%&X[zV+ ??O1aod;l;(F0xVQ{_Գ E"HS4\W\rA^ _:Y) 1Gٔ cÒBq@;OT)SsJi .}=ʃs@iElbe)X㽙gה<+N*M5u`kG.W ՎFoc ~d4V6½Q*%فHLBI.CA%SĠ}Ap&( nKg 0匭/HtXNnsNH5KlGUMc0YrŢ+1+4#^E ipE [keW%IS"y?eKXM/d:8+.n wEw8!?ьeƛ'f9 v[gYZd287a51bec705a7bc49f0f7c94b870cc3f324eac4cb12afd9789625a4c2e40cdf1e2d0b3aadc16e07096d2d28204b110ee8354d8134f0bd997ad3f81  ZF