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 B- tl ]/ ZF-Constructible:threads=2elapsed=15.922cpu=30.344gc=5.188factor=1.917zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}όHe" iI#kvؖh!R#mder7E㶽뉢a^q#b?K$^_P`s{*),ݯ Ck$Ղ7Lu #u|I^#X )ߗSyj@kDEP$,RRb @'4~[Ckl1fQ}Z1IȠ DkBk16M2$/xe2e8c}~.WQEWY]IW"_AXq%ѰLAqML]uЮ]ۓ+n?$ o% D]A15F6:X>C P<]虈 "{]kU, <~kMzVNۄm~@1+r*2E.;DgYZ7zXZִF! o]ŗXiɟ95ZrY!Zg>3gAKra}U6\*oDv64O86mtPV0rejg&Ə>9孀5!AYS˝m1 Kk,gYZ7zXZִF! WUC]ŗXi%9+i(/֨E7>\UÚFG-=,io&NMO36bD!A)gILEa)h֛! S[7(א+1X wkcW~sI@b=TUz fJJvg.ag,Jw($\pxȂ"GzLY6˝tyCQ#2B CD{)ޖ( h >.[xQfg-E?E3pc#j  Zd}~c\S_YJ3űd9q%d"=9w ښ֛ߧbYjvAHlx(욂dup'aK^GahAiӰDI2ÎČ^7Ue}}Z]]13i:ܦvq\maHaD. `OļCa~ySdփS)Ϊ=wdže:yA'N+B""*Ѕ:4OSZ\K̄J<> _`2 T"t u7n'[ z(pG//&O=1a;X>㹍NPE,FnS}\ŗwvtT,hǸssQ ʌNGȣq2_B"2#, eAeHZ :_3JU 1TM4")yٹVL&㞋dOJ5Swneb=킓2N[-'ֆܶN |[~stШFΈU7ȾR^1csawHt{n|%N4Ai3rdjlKَK@g̋?:ʬ&f$vTF֌f4 (Ppv tq' w s_CG5rt)XD&[hndW6t){\hr$3nU_:#REγV:!y}aC8F2s4K]k+ x+>SB|/"{g6mSֿyw ݉qp5JLtl EΩ0Wl=FxOCa{Jʤᆨ5v燏CGMIDu= e\*l\bfXߔ0eMJeܙdЙTD⹂X$QYyF".^^y|=lψdq4 ttŐ.X?˺Igsu ֮OgYZ206b637b4f715815e6780141fb2b95d873a6e51f41dfddd2151ebee28efc9e26dbae12c72d1935da d88cf60679edcdd07b342f11b378e92f1bcd1a52 - ZF-Constructible