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 w DT ]/]HOLCF:threads=4elapsed=18.969cpu=48.472gc=2.316factor=2.567zXZִF! _@]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{m(9RPk?/9{Za;=Q9vc;N>TDWQʚF riMZDžVu^&IM,[:Oߣ @f-8b?p&tQ|𣞩)¹M//5os-NBu$4N6`N[ҙf u- tҬ?,Ўx. iA*cQV֕tur";;ս@͹ yI"ϸpZ+,   HOLCF  }:1ȎrTi=,Ѐ~;UJSW НR1å04@W}Oh} H$5C)&'Y_7]0%|3PG7wH%мm`vuG9`/؋f~o $.( id0H) ˗߱P8(#v*'LʱgYZ7zXZִF! Z]ŗXiɟ>Ӈɇ9S2]͜SdrPk.-Q$kK>>gX^Ǻ/_ؠtmY*,v8/{PV,i&=tEl45QU^VB BVM.2GpGF;\bhд(? ~`5XoVs{ɧ`^d[dXˤmRN?999{N׍[rt6ü L*Wdcj~Ic2QQK?ʄA-gА/+   &:xe!˕ƕ4E[Ⱦ"2o~6ȗ#g.Rf5w /IA/EloB,øN@F&X9y4Gޣ܋m_CL0J`^toUV ͣ)g'JRKMDHx H^=\-w$1"|P"\H+{&n\Ro3bmUO#;ռ ƫS]EW|vk%Qyꁚ==d-jm@w0m?gYZ7zXZִF! i]ŗXi%B 3HyIquxP +[& [ZuJZ+OQ 9m=L3 bFHrD,oI%S2&X9*NPJ"g];X[`UGEM{oWJnb/gOVm;6xe!Hb]\Ln4,'f)qy`Esk{00ԭ1 ݭT@876у|ұ[+ﭵKSp݋UQɧ-Ĕ ADdy&.=Y28H6 9>N#5נ5L!4"pf8s Օ̪^9VDT3DHXu=}ɘblYO&OƘq $}S!NA/d_?*hو\q͑ynrF.21Al!1\崏Y\u'^-Xt@G4+ѻ; 8w=w`ОidlmA7*ݱBػzǬ˴)E<"+0wV":P.%|ӭUy+WX%RReKrGa RK?ъ8(4.X*֐o%Ba#֥Mn$1?ӌS?;xtnFo 9ugv"(U'mbF S<um*ۅhxh3R oPpS,L'ES8k XpP{K7 D8]G2F;%tmpuZ/Ŀ-~Ȑ+D:l.!HdAijWzծGcuzqN*r3S<=|Y!6, v 3(ւyDCc읡$ȵa,r DL<5ձ1LY画V;$秹fHvn}.eԍ\/) @XY