SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 C,|d ]]]HOL:threads=6elapsed=167.347cpu=604.816gc=37.516factor=3.617zXZ ִF ! 9P] ŗXf1-%˓S,z!ŧo]uA{DlꇰwqIwbZ] W4<B(=\ME "6惡?RFa].Z&DK~x=pI] Mqrx|袲{HKIwq I'(/q+ ;<:izgaUix{^/!LQI*wƌx\kw cl7I9BbwtG5rleU@z4 ռК d*o0V do̾n<.?'+jQPiFR HOL V2h( xT'1wXϯ! Pf{fUlU;z}銇&)&1d{5mpGOUٶ-~KSpjwJ&T7øEt [Cׯ?LLY?l>e9 $B!jBAlw5 kU) ҈MWIԂzss0utjV25`\qt(,#/TĀ2 p);M(x'Iy|SջטoPeUV.~ וP,v.p1" Zm5C1א˲ {߷<]KQ6K(GP4]")5PQowF>kݠKR-Ymo7ŨGK%!R;rܷ&@3Ͽm*MNʍ`&XaFRNKLvR>\[]V. +O"Om Jvk*h[_b |F`qʀ.d,{ k~/-ޭ89{6nJ#7V6F<+aLC<,1644/Z9SAEr|谨3ɵR?*l.ܓ h8L-XA3gW{]EzEC`%WÕWb2`#a!Ht?!-'N"ȄCh&YpȖ05W-K_iz3ZY5UꖛnJ~. ސ/2o? ԉry tcWG,+B)vEМ$$d'q\t >)\/;%8&&DIs8)Bh Z|oYt='j^Ug=G8H9?=Xhvÿb])U#ܒNNZE7]5 [/H>\N-%MO*$YH (tUϗ"[X{, v%y
ʞW5}LNLhM\_"̬ iMX7z St5~E#YxoDk+uX:SA[t d7
"?%3']ƶm6:DAIw*MM ͎"vHD|i} ՁXɝ
1Ҿ桰#Z<;4q](Lqf#|1tыr<^b'+"uoyi9еqcŁ=c}@ZDYjWڵDY4Nd%Z<^ G~:Pq1