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 R | ]]]ZF:threads=6elapsed=12.139cpu=44.956gc=2.480factor=3.707zXZִF! G]ŗXf1-) enȈA XR„%=6Fl~tO}c{:m鴿YZ/vsL"“FeFW*ݲS,ziҌIUfQ;n7Sfq/lvDS_?4|vm"(Ģqb_RG&e\XȊr۳Xc#:~&[# oXH{-v;gM38ǥcY ו`INvj0bdKc3* w{hKf)3w%l=uKhtȵ1=PLLrB OAVsk@uG\F`1 *_.֒pA ¯7|hbʵ`!X6Ê)EDJHIX W~8l}7 󷧕|'8k=DzD0MuKex]:o&LoӪ1UW0x5gYZ7zXZִF! 5]ŗXiɟ 1FE`空`w(NhBe+1"=&&G5$1U|P[]LVNLsI]l"N|;ѥ21j.=@:v݉j׺aqvQucqrezw}uO*<ؿoצ )@~*޽=;lnr߷]$ 2h]QH'Ń jԻ46X5 ۼ:uܔ(}B%tIȑ۶e|tă(sպR#alX>x@"gh:D}2FF6g%ٺKguK⇨ZK]R"9mGL_60Y$iDglŨ,boq9ȉq61?t+.f`]e+4 ]'McArYCi\ 1"IYZNM-ȓ~"tc>ؿz pF ƀN5 hZvӕs/!)H"W&#&A۸E?_#zDU? @Iqp`XU{a)![L ]9ײEwQOYf[Ai08˳h%Uȱ=CIy(VȣػoW-Zޜ?%YHPzeESlF~] ؚ+{9!0/"PCRm #.T}N$F˥I"ƟCsÃV&WP|qS\ J -NǺ^=:،G"ӾkTZbi7 IO2BO sSa]gP6U=;9F: ho u`IZ*X# GΎPuA DjRRFp}ueLK& %REJiSLk=ɽ-:A,i8Ϊ81ț V|v,p C$R@`xC*HaYe`κ؊|*f;NPMy)& h!c v:{d7M2rZ:.y{QCDFW1-ҌvϫIT]1[ZGgM9B|ӀLy-)'hH0 0Ò^)V -`\9imע~!!j8c BJnXKd 73 rqIA'KY $ѿ{}ܣؓ33ƈC $.gYZ3c49e95799302ab5ca2de7524dd187fbc5c9cd9bfe1281de5d7780f272aca589ea23aa21095812b5d12a667a5cfb80021de6f5c152ae7dc3034ecf3f  ZF