SQLite format 3 @ 0 - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 8 8 +tTk]HOL-Probability:threads=2elapsed=224.726cpu=352.052gc=11.448factor=1.577zXZ ִF ! ~] ŗXf1-q恈͐7ӺV;Dg[o83LͯC@!QH3Y1@[C4YJ^˔;6 x Zۤd}CTd02QA_X%cб2N8&b2Omݗ~Dd#}53ldq{ߋ!F|\=ITaeGL0|($g4ߊg"˞4A=)w47e6ĩך,2A܆yrM 3P/AdL8Jۡ/u}aOXP6!`[륧A#G(?a <)՞3;*㻈upB?\V -0(}s:>vРxI6ׇ7nҖ^Ev.7:;g,19.u] &y{F-$vCcAcCT2HS*n[=c| 1k@_+1$MVQ|f<2ᖛktugޫ1Xb ;F?}dԞ;,ԥar A`D" *'SmGCG(o+d0lsqOdܝVb0fV_^0{rp?A5Eo I\+*9A_cwתbKp#28aR([`rkYiX,JS5Vl$ ?}hZ_L4"\5音|GX'v0!WEE + HOL-Probability LBS*Y7ea#Pz%>2L }HHf"lX'O;UBaD%iiJ.!]tNt+ h .vY*}w8"/zԋ ̵mwKjkK >u{z5éy$iekl$.pK;ak-Tv2AA[qpGykq,cTeoEϺ+4F d9']%nU{ ѷLPAS/)V"\˖ OApV|&Coȸ_SbgR$CI-L21;DX|ud!@r,P_!-L/$-~.bѣEVD i3]<9q1_]f4.(@EC-5%ԫ-M87{HI-&aBj_dOf=0,$Ő:uWMGce{ǵ4[ef2IO$Н
q)Eʯw͕M%aZr4`9QCbrɧ(ʽ1PLX 24NOn3m:nu㩖/=)x;SR;o&%f;3W0&&n/Yxs5u=In86he=@~toNDw1x:U pt~{{A%NRuNZ-;*%`<Gő
qDN߿!C1!
Ƥ]g}<,>jJo(ooJaDo.6e T"k8iDGDp69И§ONb)z5
Hao [[j,'f@ sB>WѤtE`?;ޒ-Pz_dKVjp=ݫj>&(diKmwAK99|ǵp.u8+S|)-uh
Z*~)
a:.}
խeg*w