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  # D < ]% VectorSpace:threads=4elapsed=30.157cpu=85.488gc=3.792factor=2.837zXZִF! 2Z]ŗXf[&9ޗepz,>SvK9Ofh f:zƾy ]Y`:d0_E2ka%T#T7y);Kj8[c=I*HɳNyhq'AZ~/XKk3Bܡ8:*ςqSOx+i{e7Qnpcix{r~FU\qa4KbpV~ R>8.>TO+ènGi6)įxghza.=XPJ5=k͔ջs,-rUȂr9ʤ 'DُH<,ă3 + DYGSWr]d(-a #qnUgW}?bX)֙Q] 3-H7jiS rIIc@w9L%en$޺CQ8}b6=߇^1.;qD,v#LSnOI0o֮y zUpZfZ7I%t7H<S!O FmOz[b1N5<9`\@t:׬:PZ4 I9Io # VectorSpace  4~02 E{SߵԜGrq3{޶yMgoSӖQn[^(; V "ј{ˮ^oX+W;~?U)=/ovFyd2ֹ ť[{e !lgRqG+vP&ۥAb\iPv H!T7/5P PITg{*7bN2h!Ȳ*SI]fw h±G+!ӥ0 }Jŝ$ǵt[2f Ni/XŝrxQzIoБm Ml+|rT?4eg:Oq+G]^ dgYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({NSR TbI! PH-/c?rz%dRI  ^WWn4حhuܯ&p5XZ* p Eɧ<{U'@"X#Kl/nB2}N–H15\^gYZ7zXZִF! W]ŗXi%IxVdb;inߓd>ԍT+(y=հKtU֊꺚* CՓ&#y3o' 2w`-fסHzj^tv,eǬa=-UKE%c! Rx"<OB0r7a]E۸6--ƃT ?~>ͪt/F̣L 8bΑ>d/>\eyWsB3Ĉ:FE&1[(5WC/NZ (Y[* 1k-%BU)%'B| Ot97[<@*8F]מY9bAfՈ/k(3/OM0W_WHfH1 mv u\vU 'rx dWhŇ&;f>֨gv6+o O<"B2laFT kj~.VjP/ʯߵ+>S œ:bC @( pa Q3BI%4q WʋZND > Dɰ%kKr*4`^ ]A{*xy6K6D ZtHgw|{cKf^{gmہ(w10,È\{It0UsL?1>GuTqdO= o{Y-k,6?LpQ(Pg@`t?7o#[)͉Y=N| ~tjL } }r jRG4&J=8Fm*.5'һ?w}8l4CKU&@eMa1jMرb.I]`8w\s'p˜f3> FZL31!$jXE۬ Y/x„:P CbIZN N+ӀE:l]g@ovQQlSH[ XsKFE>W2ÉC60UʥbѸ.`<hvb8v \Gӛ6pv7`/8b$6\oP$6j77=gO`Vzܰ8#Z-r1qƖqq2')\-F h*sGiؚ+9| t }&Bx Ac8q):v T!- ,|E%eځZDD N qnn#2˙DQS6V3I咍wV1x%V UM=' YS tBmpr$wZDTmN:o5VR>S3LM80v(eD. ~P=^n'00vp)PCSRyVW_\,*jR6lr$^?@$kh:cW&:jW8# J%{<.KGxşR}Jj.uHt{ ^Pu}`ҨvbʘaÏQedcy{ 6 m,2rH \[Y]eP9EF{Pmeˑ$g҂c*4c|pLyF!;GfkAZ+(^B*&F",DfMiWNbxC6ljC0QȞ̂gQ@ 8MA;v}BY%x 7,kQhcVn2{?\,DBPvmd `/HfR%˻d&m@)8{dW!k1vyВpb:/ s(ȨZ|v*$vAgYZb4c843a2faad8dab970107ee1c7b0bf4c8f63fdc5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 7307e61b0237e14e27c910d0eebd20572cd5c783 79f30eb5371e11992ff83b9dc6aefc801ed366bf