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 \\ ]S]Matrix:threads=2elapsed=44.923cpu=78.732gc=2.980factor=1.757zXZִF! $%]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxod"h H3@s*l5"XFo+%bu^ol.C{H>:y5e$cJ#+73rlul3Ggö ʻAIOy#K~P@2f)#Q{ J*ٴ UC- Juϫ2ޞ-@hNb'*J80<8 lŘl9[xxOrm-)>orT_7oNxCaq,*=u3R   Matrix6uqAo5f qH'>::޼WOqVWKw@rLy}m:%}|^?xΩK='hܬY[4?I`]UM;b m-$8sVUkO)j0' g<ytH<=Y*7%k׋$Uvυ$"r[>zLC*5k—jsl5ti:G"z0eL^˘_ wt*}p<kpZGͨۧasg- wfvh)-0qBdJPwX8ڸ`K:,gF#r!{0S#8׈$Ы}iՐ"t][RSX澻#ޫHf`rrV2a͓3P2xOfg+vټ!Pyo/c%_:D}t獵`)^y(@_3>C#Oٶ[3lŁ2AYOzsIo~z{wJ@"R0S@r~*NFe⤋ء6b~\z0S$K: =78Y 03seIIتKgYZ7zXZִF! ]ŗXiɟReDH$ 3gE= vEVjWuN(X>&$@’2>:Z1e{iԊ >U{N9"@3_N$oh 5 Դ DӰ9IdB~ICM#k4e+C#Q묯kx|| 0d֬P%;6GP9,M~T́뻛g"$Z)t#` gYZ7zXZִF! ]ŗXi%Wm1}7D/X?~^?*#2wo"4\c(Ha3sOi&D$+´4tɐHw8W(&2Z[(Fg|1~< WӜN4?#as>HxBz{5_^ Nc2[>rc`l~Ά[V&`aDs.T䳫V N`T/*XCClyx,wXWwlmpW0lI\@\~?s?)넁Wkj MnI! nTt3dkpF_}‱|} nX\{b,RXAYNO3#ur\Έ|?Sk2%"`Uj%j΀ϽB&e0e9͵4bY}%t}j&6tFd2f \),ry ܷ팚vDv]Dq {!ʺfw5ͨKn?wzP7J@S=]XrQD:RnN*ZE}1J5ޤ94A&S>ay8&7Zr O2N*z?28&5 _A< Nә* S@dϕÍ`` *[.F])O{дkWqݡK#4%26:,̸jZeu3Q',lVGM6 vBQ=_ c̣J(OhOoX@ ɂ3vvkXC-Rg >\60@ې oT׻?=5k,/  .% tV =ټLFWҧD:&;@InWz+Hba2^:!gG=Gfl5tuu~e%3rQ8 Ej!Ls& 4r[ f_Nf}J3?/LZ(rG[_ XGOl 5ފ {;{5N|̾:s$3;.rh Uz*ܻ.WK&o74W,?ڍZ{1HB6%t`%E<өxFM'R<-!$  PbxJKʼI~.nCC\uBԜQ&/M}JW4C$f&x_GO9x78|GeWl.ű}{)$6SKE uuO Lf^opW^o_T#_^׈ҒyZxn‚YxZ/@iFvF]5xp 㠰Yɷ~2tN,O;U5@i<E:4 Wo7bmTTҎ<=g8'L_, ]hL=5ƨO~}sBo1ڊA/(=%Ի!UeՑo^$,}.ibPO Nq 9FQ%z'W˞Jjڠt