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 JJ3/ 4 ]/ Dict_Construction:threads=2elapsed=49.582cpu=66.944gc=4.872factor=1.357zXZִF! ]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=?r7HQޫƶ:7[h|"iM)?ʊ[烍׼jn`ڹ݀a1 @(Jt WqncqՋ? ߰w" ;Mū7oF}. ]ж":S,d«5BuzIc%Q`uĹ;Kp }=f %P\ekA}3#'L#}ovfp#LkhsZJ4qGJtumf|NԳK*0`qIB%9UwKUd+dMsF=rӗU3x"m65gf%W;s$uʥ] Jsg*_ [N(|ܼ5V%JYҙ h=l.qܛrb)CE$Qpx2][#adT0([ЯGJ!#yL@%LZGcEil\No $Q[r}u+MgYZ7zXZִF! ]ŗXiɟ*#; )zhWfLpDl VqlږY$j_qYze0kU%AN 0pk t=X\Jfpg?\UpE@nM'" hC:UEV - /:ԄQ+~n1s<;lqF>e(x=2HTVC@9zF(yk+oءv߭3QƙVjT4"A+@O%t-333F` ooi66k'ʘ7("oߣ&FN`pZ3g.6nЃďv<ބ+H 5gYZ7zXZִF! ]ŗXi%;Չh''aׄmЊn5wٲ.{AT (n[{7]PLˊT_:x]$hvTcGG0l=Puޅf *z' BBvծ #d4up1,:m*؄) ZGuP .7Y a<wyP`iv7d络]q j-uך m.=ɞ cƒOox=x+/D.j*S]cG=ýisTJI&v AA];(\]Ze*6;z&!uֱۤi0J~iXճ, &B ׾3[$BrSIXPc0k1ew¡r݁T*޷ 5R|WT= 9aϻ1V/q5,J" C14/"@qnXكKJQ)/A/WoD9f$2q Уj#VX+8 L#V]vzp-!B8C!<|j@ :u5f 0keBU% Dls;B ECb{'dRƒs5MQ_PYQ%Ӽ\'>)A1A#ʻ %qT۪h1ULm9d1)s cUmWL|Z}ouO$ C ^NRB|!_g>V_{8t@™u'ǻUJ7'5LF&-(9ScQ2CKSa<h,8׻$6AFah3GbPXR5WJޚ 2oL``eAhOr=11p^tB~_35rd 9TK=KY9p2WO"2("u>1s߸o 삷 ZA\Z9G,5_寞(2ibC&Z3,1bn毭ap/Ʊ_``jr2~G%U5Λ}RnMy.Ýf?9<ڜ~'j|o5]7ɥNb T4e_(9lSMakg7[JgK(іוV:(lގ@:@= B*5OB#sbe|jǛmEd)#h_INK`mbeO,P\A{@FFtfWbn*汮dn&z=-|;=fMDM#}Ȕ10!sf4 tyX6S2]+li"p/ p\ _&:$aaZؓHh=0俤]%'I +{1.pEyTb2ShEYK>?"&KNeNy_Q̜CqMg} PԳ+-h7JsXL{-mchWRgYZ85c0413e233b22114236957ce7e8d427dc56500679d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c / Dict_Construction