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 ``1 t\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ӞrR;*|N|pǽ .kF/B*}(ҙYtnNmqHyWKxiq{z6>P+V6iǥ DMQ$^5˸ =2T=U+>)濆gYZ7zXZִF! ]ŗXiɟ пPTR<6;? D{PS7ų]8m]U؆mvOʏT%=m@ۆ-kPN0Df %": E*'J=n,sþ{Q3:h[|r?}0pG h/gYZ7zXZִF! `xQ]ŗXi%r${?f6+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\\=H E_Ϝ>?=r5̌ʿbYѫ2K`TAOY*xA72_M.%[ $}g}0Hb^+l:!f]Y2#)/<%PUR*٦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-SZZj c+ 83mޅln <ֶY&mC{!zJ>>%dc`l ab<sǁ58̮ܭyEMW_THsO+y{vk ĉN-H$(D=B&֏RiOd5k(%IɒUhA#M!C/5'(>YO1CGOޖ@&L"r?xX!߳*Püφ `0E0- /70l65#~  :PgYZafb0ea8d704982d23df8c287999ef7c1e563acd2d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac039df6abe7dae98fae2945ee088676ea8cde78d17f 1 HereditarilyFinite