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 ((U dD4 ] Optics:threads=2elapsed=12.353cpu=20.384gc=0.500factor=1.657zXZִF! ]ŗXf1-/6vR[$G~fB7O7m3ƶBxb D))kIx'6B~ԱmP ӚiB7}Q `Q6?Tr.Lri#NWEy֎ i 老O| 8h9 )3}6LWfK3nFJ9@":E0wJ,zB|[4M&R-͜ev;:jk FkZ,^&Ac5F6C=;J@3M piܢWz9':r]lm-)Z_'1P'S>yF%0m7> @uǓ]U XhӲN0*$ ]U mɀ(=ЩT3 D!̊7Q/ w'"m-4MhoiΎ !}w,,R^һ[` .$ ñgYZ7zXZִF! ]ŗXiɟ.x<3,6g(8\zpNoB`b]N_W9,2G`<_# N#×WohfvAj ]ml.ae!6(7bP~{?u.ƑN1p웤ku  -S-K-BAT$ϕ/'=NpowY>|`և ix[2gjw @6y0dp¿gYZ7zXZִF! K]ŗXi%;:C<Q=[IuA 2`1` &aCbK [Cxci7|$1[&[3*tV>ǀc;nfpOE?l`/@2wcy;baL1~&L%W"5^x±'Fk~EŤnj̰;6* mOKT6zuMc %O{?nu6&C{+rt)|U^ttvp%LzԠ!Yぎ,g_tDZcOR% I)MVׁiߧ's/W9XTbL}ԱCeȭKbF˄_b:nHc[NLI! VcFz86=ߠ.=_FxH`^k:$]"/Τl6HB~e ƚII(^OFcGy=-I#x#QNn沒9PCVBe WcYKC|[D\'vI(zX g|O_(~0ldоq8҇F3D8[`Rҡ'[߾Be8[rIE ^Ђ^tk/moj@nЯ n-+a46QNg?n>he[& ]KU?APk3s8jyYw#Ft8_ӱoU)sD dۅgP UtD{IUG]YV@QƱ| 9$@1i*'v,1)v{Ily#̊(nӮ*=*߂_q^n]LHM62SX,CCqie˫X#q)o-n T8j(S7ゕˮwծtwꄺ<JLd[ImS|^Ur55|QwͪhoG eꠑ:>_NGǸDlf gYZ7b821926f512bcc1dff6b6bb516e74335a69d2cd19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 6b69d7bab9535b51ce2e84edf0a540be0604c2bd   Optics