SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 P3 4<  Selection_Heap_Sort:threads=2elapsed=10.336cpu=19.720gc=0.768factor=1.917zXZִF! ?]ŗXf1-/6vR[]_ʥ4*M[#6SR@.Ic5l K\ 6&';8욌\~s,#TQβ<־qP`;iR5Y; 1+[@޷Es=~3:e8p[,E/@HKT=Óz,0km Aa݃xNŘrW\:]&g9 a nTAKl/6Kjl4n賆,^H>P^>H $d$,>,;9AI'1ˈ=q%ei_'=m WaYˀW?ǫ ! R1OA Fv"FѢttIM0us $()L@{^WCuM> {1(ȇAaaY>FX;k=- o85x`xb X[:ꚻ;bOHg$Hޓ9{!ُA,PO'~rO?\=nN}Vh&qC*Jf ىЈDjr#cã˶ K~)l_Uwo) 3%I=3=L(mBp Z|ʾƎ30 [ xMh5ØmdXEd`Pfaa oA "O7Í@Q F&<ۉd_sj 5kW? )`֧f D]a #QpzѸcb.];mC7DY)hT=!6OMB#U- Hil0w+%^X<r#~M<+mǧ!8hK/NtYyKAD$^:p=Fjb!_bk*hg]t+ . <Bt0amHt ꋯ靮"1&36b'drqw5]($'.o ew56cl"?&$nǎ*2žVtk^藀aU(|Et ǵpl|J9兠W$;S'wS _~}`N V`sv}Ӎ?o\NvX:3V66oiySy }|apXd'_ހ͕vAP̋yO[ Hm.& ;/V-0tބ6BR^2$6"V}hA^d&trZpL/dyMhCҚʚvqQY iPu\YF\DJ..$"X b~}cXp?IgYZ1676ffa397c6b01245be886a0fc3465093811eca 43df4d75898a7594d38a58028c1d34e4c8433432 7a98efdec282cba4e95e46303dea9e18de8b49b2 9b0bfdee363ab88dfb53d18309548fdde932c30a af69fe4884476a8acbc0986000bacef6fe8b57dc b7c9c849f43935a28d59bc64edc0e16b8bdfc610 bc771762a05134324001f2675ab4d55bc2efabfc e09c5735ce29a5a97d451c9f6e7f4bc820d95434c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 3 Selection_Heap_Sort