SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 2L|\ ]w UTP:threads=4elapsed=37.307cpu=125.832gc=4.352factor=3.377zXZִF! Fi]ŗXf[&o4J㫚hUQ<@]bfY0#xVTld=MHoJ??5uG)SY @7?ZhG;A&1 +뎏85Lr܅ŶFxmIW*e+բoܫ0jL"I1焑oOBC3PeXi@~DBx M/2gZ_)7w2?o=އ!dT[ #X2V0|QwӉΙOOӮEW2ha0G6R!LeK0A̔fjם fR(|qhy/7o4}BW_O9 `YvCQbqu^qa*J g 2[ZaiO~h2t=3/&h^"zݘ!M5ZNTѷ̙RQ}J\",PAJi^>[5g&.Y0Hq1X$UkY^Wf,Hܪyq$*& U"K-AgYZ7zXZִF! 8]ŗXiɟܫnB!ٗ_ΖϯĘz,J&Қ17`}hzc9%p|3F_}9jcOnV|9T9OM{cބ:0TA@k%洡I7`ȓ$! r%GR&MVbaYMբbX<5 v:œg7:!@:$7s[2ʢ}L<)dz(ű3sVyAX^H[vg;.NM^?2KŔD9q ї] =PݭB< ߊ|}*.VJTgg")ƨ$aޟ[عI&{ s8gq~k"cjF txۍPM.#YRxN쌦9uBeA0Wؙtǩ-Ͷ ^a)@#?0G̳-'?lihkLJz`Oy K'Р#cD}:U~g*n?z%3ϗ5R7;Te]ԇK0kRAgo/JE6?YE?-mOO-i ֽ kdS#'ܯnthJ#٥Ƭ"mYXTLlQ\Kh|k`h͖9G]ipg>b;+381P;V,jA e  JT;J!j,8Lx7)( &Yg]a޳-YDL =SlXig1R[^x;un;XՠnYn? 'Knr{ίwqgC[Oh۷$?vE%XoVIa{V1|[$-EMG+27h;JLTΐ]B}R3#M U< {JԻ(w-~WĽy|xiKB} J <5a_D{YF:2PO19,*y<äp7d^&X"]̽u*6X;v<`ⴄ G6}X3_S/է#PPn܇.A9=|j 1.<c" T-&i? ~;> FF"^͠:`8?}xօ&ke% PgP~MS8mCpfQPrMKB$b4 y(CguR|/,ޤkr/LFCËdW8;&Q9eb/I@`4ɓRJD/b)~Zz;剚+6ZwAtzOCnqawe@K1' Lt蠡dq+ aCTgeW Q@IPY< \/ Y=aWQj) L74sJ{/SL:(3}MfOU &`_=$"VO؍o0ehnedڐ%>FHԉy?e fGPz5OIѡu7!JJ=>T˲хk}zC]aN@muNaYc !PN(pv 8j£a*\h rE~mȉu5vr_"Qfãdŷ*;0И~|k`ۊ5AƳDߴ{pd۪@Q@>es -> HZs&, B VbeUF5ŤM;^H.֎]kvيL1p5њ=t5 _QK6 f\d0NP .r7Ee qD Z}b'L]M1:m3PS9c=p_ Q쩘0SB3V"%+qO0>O4.EREgv9t^80+j #&f69>|HHYsu%'/&% '#H 3 zbu5"_}+' +V/4"7)P5HiY߅&JL=!X2,x^ xbiXBy_D~gʁ$7 Pm0ܰTb/>'E$onkGmLĒp$jnI.1Ԛx07B ?C`5Ð՚>Z{~*fke.v*{ dz=C9Q"tY`Yb@nJ5M] U0zM& T 4ԋ{`NZnn؆X`V<ߋ6~#>,WT_GuBqedsmOxQGh}!J%x: NG4fף#`ڈ {,*hV ,Yb2s=l7SC7!!!24h, (M*QtXQ:Zra}5^e_ q+% 2GҠDn3b59@Lk[`*RTs@B_.; \/CN.בz2/SX2& 2ի钀~