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 XX%5|D w ArrowImpossibilityGS:threads=2elapsed=3.792cpu=7.024gc=0.152factor=1.857zXZִF! 2]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%95*rC)o[P~1:"ZJP+P },p?06IFD]xhjt]c ND{!dYK>q  8gD4d忓DI)`c,0$o10* αfa8ETF;gݾ} קϹ=r@2vNkg*;SDDA8nrTMv{б|') [/ae#k]jjJ$WZ!'tBxgl9rg(40Xnh| %gjF ΓˤtOk] moƖ~7lXIQdT E3 Èݞ .1,c٪i Qίӏt&M> RBqTI۸+Y'~3G(~?=TUpv˚2rU:3p杘7pJ9k0Ao]8wO%gvxU'b(j#|I&fIo͟mUhp>\Me$gYZ7zXZִF! ]ŗXi%qf{4FG?S):T ~q/u18F<ɱ\`ٶ=.i#YR8oɘX^_M+ s"+@.?+Tu-p- dNpʆг1 ud+a?2߯m0WmҶ"D;eg<`ulGCjEq Wc{ڼ,kK$`h2B- bou "*}ڃcR c& kNj9rI|` dr1H>9o[moz^})|"I6w.r[U -(Ea!F?{dT($<*!\sUBH4Q}oB#u_M)8d/ЫQS~Dұ D-/AڍfuA̴}e-fDW^;c@U$՝8]agYZ1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc 527e33139d13d29ab06ef1a036d246bb1bbc37a1 9879e6323de9f1b60c16d766699d7513eb60656f d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b e8cebaba1f0ac906c897804d71803231c71cd04e f6087813f3ea6a65fcc2fe13b7c4393be073fb88c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 5 ArrowImpossibilityGS