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 U1 LdD ]]HereditarilyFinite:threads=2elapsed=15.723cpu=25.160gc=0.920factor=1.607zXZִF! y]ŗXf1-/6vRZ)/V~l_vdᷟGK?尹^طN|J?g7W˚y@^L|*$m9iwl" ׎i>U SR$9/msR *&S$:d|% [K[$r",O.BGuӜm`I8-=#kP_s=եiX~4/ nV}_"QQ@fpIgYZ7zXZִF! ]ŗXiɟ пPTR<6;? D{&}0*Y:t2 J`O `l_vT 0`{.8]@VP2(-x e(q!Dgb`QwRҵ2YTtwv\]*!&seѱgYZ7zXZִF! []ŗXi%;Ů>P,]Svf:drf1*{:ж;D N hzrB8X0#QR%Akz M u(3Ath0Nt!YjE4K.Qv%h잭 O:eÚMr:!T+bX|~+AQӄo䎊QX(G6CzQxq'PKn-5sa>>!S'2&Khڲ{%Q{?5mʸɣ1xh#FhǬ^M65%Uۀ!/)qVG}(!Ԁ)~DY$\y-&PEK:-cHb8Gb*^E@GUMx$Jj vT ڇm)RI8̠ O(H0^l.޶XƓv!f xJVX s0GLk g!T#\d8Xwzo͘( [g(Wi k&~cOui>yjD}wmG'ig5"a :(A afS4o+cx0qkKX8}:H{Z@HhߍOP4|3!Bح"y '."_~CS ߻3P6wD@TԳzi-* gYZ31e3c3d3fd0de5ed909059fb7bc173a724e416d879d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48ee734e93f3b600e561b10cabb1323dd43ea8a1e0 1 HereditarilyFinite