SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 II( 4 S/ AVL-Trees:threads=2elapsed=18.891cpu=38.796gc=0.856factor=2.057zXZִF! 3JT]ŗXf1-/6vRZ\2_:oFEQUUo2ɸzZVTUW\?l,--1@Z0Ns&7V33_9߅t#˛ǩǚ]yCO@%o~p2>bE}#y*W 1LD"$Htm_?[(}6< {(CGFV2d )O74[/$wC,R F.LMRRl!k,yks]kmpʐqB%5t8 Lע/g~J)D_pArTPV ( _MOב>oCOTqLg"aCԺ6IF/Gڰ*k6&ZaL,+H=cO*}=9fLRL*tO~UI|Y&jaHxX.f*jLpCo/ڤ"ŶC+wKFY lg5WǿTaLc CFC*/AV5lqPpczC|]tk6|kNgݧ}}2?)Nu &R.wq&1$1}./v-V =2 DHcCR*O'ZRϟd1"qOߨS"r8{{G1$G-c79#(#Ԙ+!gVP51ZW“iOl<Ջ~_ @|cY)~[`=*~j򤰾ػLf}oo\[;C H9 ÛJՌ[Z L"yszR}fX gYZ7zXZִF! `}]ŗXi%?Y7DqS^5Γk]bE |R4-&Q %`6@>#lEU!P ZIG( `VcÎ?) Xe^,}g{$Ci={LVUaڶXδsTqp;K=hág~-rE%HJɖnV9M-/A_:sdAz6Jc-OZU* dHh )$Y՗ 1ɽ |C@ݯWEFWy2'I|_S,Bxsu9ވN>C2ݖ,C#{-R JLN?C7=Ln+T;=W}bw[ų<| ݗ0>T'(=>C;=el^/բ:|nz茒^ɹ:܂OKƪA+fZ}4)KC{Obv1p Omd](&@T@Ʃp?o@Tt$Ƃ R.<:Dݰ)BoMV"O?_.}{:1b/\}`\,Q坠BK_R:[iFE b Rφ ;#%0򾨷X`أWeºFXLYXwnD>PiUn@ GMScF49;͑C-fxǫNp9s*S$cVCDQ$&apm6&K/ G}-5@d\ FTgZ~ʔ% /M4Qp0ROZJ