SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ` ` 1t\4 ]]HereditarilyFinite:threads=2elapsed=16.828cpu=26.668gc=0.920factor=1.587zXZ ִF ! 5] ŗXf1-/6vRZ)/V~l_vdᷟGK?尹^طN|J?g7Wұ]ɀ=pbXr&V';?)id=J!:cRA9ˇAא;em5]zhoLz&,Q7S!쨕c;*`ڋXgN4* ~؊RGs se"0@SK@$V+FLt,=,G͙k4ӞrR;*|N|pǽ .kF/B*}(ҙYtnNmqHyWKxiq{z6>P+V6iǥ DMQ$^5˸= 2T=U+> )濆g YZ7zXZ ִF ! ] ŗXiɟ пPTR<6;? D{P S7ų]8m]U؆mvOʏT%=m@ۆ-kPN0Df %": E*'J=n,sþ{Q3:h [|r?}0p Gh/ g YZ7zXZ ִF ! `xQ] ŗXi%r${?f 6+eN*s1RUC^>MS/ZN6 (M"?>{~fb$)*|?XC"HPΘ7vGF2`]֑U4J%z2&L>z[&?Tvg9; r?v&YC8$q%i9PNR.j؋e\Sۣꚇԃ8qY%K#'?@)z[:IrKΎF 5CQi҉02HR&%2|ht٥uR@S:ӾD-zѲGF<O&%UX0G?,g%M+e<Hoq#52@_b/oL4^#]q9|j>VJi&k39L3tY*7*d4Ήt(7R̷+59hU\\=HE_Ϝ>?=r5̌ʿbYѫ2K`TAOY*xA72_M.%[ $}g}0Hb^+l:!f]Y2#)/<%PU
R*٦P# g횛_!M6b^K wmҿRF{I Jwnllp%eiBӸE=S vՕgejBQZ/6};MM;g]10pޓ76/,r&Il(U8aY %&d7W*=h`)YC(v[R+(R'-;KR9F^7Y6p]I8裘YOmx%ܾΉF"ӷ6^]c³s'x$2),V&pQPe:hovq@shl`M [4m_iEH_U{&Sr-SZZjc+83mޅln <ֶY&mC{!zJ>>%dc`l a b<sǁ58̮ܭyEMW_THsO+y{vkĉN-H$(D=B&֏RiOd5k(%IɒUhA#M!C/5'(>YO1CGOޖ@&L"r?xX!߳*Püφ `0E0- /70l 65#~ :Pg YZafb0ea8d704982d23df8c287999ef7c1e563acd2d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac039df6abe7dae98fae2945ee088676ea8cde78d17f 1 HereditarilyFinite