SQLite format 3@ .;  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 AA<3 dl ]/ Typeclass_Hierarchy:threads=4elapsed=8.424cpu=21.732gc=0.776factor=2.587zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnCGQҪ(|%X<.oe/Ug$b. fa|3"OBbpEr>#Gok2.@a;e[$:Hl~5^D0"IL+>^L胩eR {\ ;yxW6wU ܐz(@x aQ@~>X@x-{cf9t`QGjy T[Vjd) |6Ð3(΢iݕL.b}A;BiC+w {# \ݠZw? E{m8{QO!{z 9<ǩ4OM:—E}r6 D:J\tp8Tvʇ:GK`#r]cٱgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduѓRCqζG)yc|3RD%1bз fuQ VD(}ce|Q/]ifSf~ %1$;tZ%ߩLMmctI_|'gYZ7zXZִF! /=]ŗXi%L 0/yk&6G~tED"Sx hyV/ 2P)1P9K]ж@O! ~jGmڛl 0ֈb8jӛ!K|*-]+u=!- @).ioڰ}%I8܊[/J쳹0iP^2O=/5@Z)?WΨrq_375"OS ]]s/FbjT]_^}ރ5s#c  (axb{HY|\}h' HGk yv0 ' UϵH\#GQrR"]IM&'`ZR2{7VuϒL'Ć.fͭoױw 'eQ͙ 9&bv014Ǭ(UMsCؼ|="f;KVVJ Lѭ Ht40>|q0 .-m~s=+f=K`| .ePG=,= D׺mFM@[ gHU&-W㙭=3V`)/os{i NoM6X 8k=5Ftf EZ6880w>}Mgnaev0p=ݲYRtLcQ@6?]f:=Q 2X"Ru*$:dњp}@pYrdNgYջ|`?0{ }( }̩ گD^;hd-9:r4h=0#9EPBUCnax$6FY64g + SߴU~(Tw ( aFϳURmSCfNn U