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 U1\$ ]/ HOL-Hoare_Parallel:threads=6elapsed=54.324cpu=270.276gc=4.292factor=4.987zXZ ִF ! Ke] ŗXf1-qSp~mŘ,z :3bB$֮GX[/ {H۬_Qbbu97.p;UoIfN5PAaR@{W/V}AEڤ}}_C# { qͦsw@[|(< b4xHܯO1Mü]d 5p5=w쒗ީkU-b:)mEVy1-*͉_0&si um\oMj8n4{oƺt{ņ̖k]X[?5rZ_ED`ݎ˧ՑC;nĨ$2}zͬ˟ٚR`5[:aL/x)9JrNsƷX}(H WfLȘF;N'8 fEI^Y7;z謱l:5SK.6CI2aK'OCJ7S7cH E\O][LMI`Ԓ0:ORs|K-M)d9pNޑQLbRLtww;>lnfuKʩdH<uDϤMD6gXD1ru2<Ǎ0+)w)XqfF"!bGU\0Y{?|Rh((moSgRdʾ$8MwfH篟{,s-p۶=Dmݿ.N8PE\0rf7vaHv,LqSkӼ<^dY$GwФDa㗟'$U7ADGjV iɁ.A|^^kj'8@Hmm{K}US9g|MǒN"ۄ2k2lL`9ЎxofbHKd|\ɰP^rhw[X$ z*%ّE C^12ЁxM:RFX IU-кtY3m*.%D1:lL(,\4u\o*O}QU8fgI Uq`ga%셮8_K&)[V/Epշ2]>(91YNr'Vc&]!\5.ob5{Wq|gt#zANJ ]_r@]2gF|5?=f Uhln!sSݯ:LuP}v)Rj,I.NKoܘ 9ۓ~ \'1Ac)qQ-o_?]Py_'o=59mcGKn,)~mvЄoUbw@H