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  l l  L4 ]/ PLM:threads=4elapsed=21.398cpu=61.244gc=2.080factor=2.867zXZִF! ( ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nڔ{30fP4a^xՏk}sق̝^qt=<H6qEĔ'dזԈۊ\0/'~! y_-ޣ@zH;>f Ҫ$9,Z$]2y\1KdqK;h$M/Ri|f'=, iP.ԫt_ L,=m,A٪u0dm^~ęzfn^?R-zpc/䆺b$I@vlgneDGgۘ1B4̥+=7tLn$'RRC>>_N7*Ɏn͒ӫj-3Y$?mJ`^A[Ǟ.B !N7W WRH\{4nf1L`t6 #ۗU 7  PLM  )X׎h1~_$`&Ĺ|?8xDkB2wh/CjzM %iQ|F Z57+ZwaL_ڣZuW9") \?V'P)/oLob{79!H!)(N뜗oDiW㞃|%okkDvK!=QQ9°7_>NfW6A89C9R=U|p.WBO8*~3]JƘ})iE])& N@"a8d z1r1 Ed)DUomW3R3Pvd [_tکkT"M%Sf  '5ؾZ1֩ӧ[8,aoa@;ByGӹ^t>Hl* X mXɢ̗2NASti,AXCԩE',ұeŝ:O^bMDfmAX(_f7E6ھ ֮:{:#qHC *hCvTJ--q(-{?u9u|#/H9ѝ ^1 T6cJT/bΥQ&۠f2f1vԗ?A0p6.#Mwa9`Ux1+Z< N..) )EVyQU$Kz^Zb%q'R`>;m^FN7MJ 3ZcyI-Zhe-+@s_ج&L2l(_wX&eeڋfhfYL_κ&$z~w؛8"(\^Jqp{6A"tck1OZB+:›bJ<|(i ~GWANgdU/)[ӹ7rOK{AB:%}q1$!͛}0o߸\7">5x['>mƕF@8!u 7{9h TЌ8Q#[we;bf\ñ#3*?a1Bb& T1.HC/)׵활PnY.(q![-=5f?o+p1^Y6؞K3ͩI^#+\%ຉS" _9B~ig={W36+C> !9 [T&%X@~d;=8xTC}sٔszig;ۗH$3_\{X,.Ka'Wh54G\F5 _붔"d[胾7ū+>PH+wwA.`mFgH~W*neˆ:62|Rgk"\iq t^2;W ̇ʀ̱u@lzl!n:*&2qII\ QZ0Eݡ6nf`N#>jvx0#Kxpsqp"3O G{ryXt LϚF P~d)w Gšp[iIh4.Z~2쀡[`pg 1(o.L~5t>m 1S4BT5ͶY(j4KioE$k2rz!I叢 7Ӫz i @:Z%f59Be g(xu