SQLite format 3@ .0:  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 g {|m!5(kLsO3^xW>=FtcѨx>0sO;== ޫI1[u/H&U I7R* ke:]S 4APrl01$3`~:p,HS%5<3m$3Jj鍤KߠO\q! [&5wgYZ7zXZִF! Z]ŗXiɟ>Ӈɇ9S2]heF#!,2YĝͿo| voc@zPҗJFܼf‚ƼWʑ,x'ٵs[OtE؃2}vs](]tx̙\Bؗm^C{s4\Fu$B=_U9p%fN1P0 9qOku.Q_~^n7ޗOX . /&RC,UݴpMNR&>π9Xe1ѐwj{_. ")0tw svbg Kj[q7~ϛ`N@]7F;r΁hb~b%. 3 |qKPu0kTh_ .94Xf!ʯ1u5p2YGt=!zj\dW|Zxmtu/?gYZ7zXZִF! H<]ŗXi%Bla3%%#hn^g^FF$HWp%Ũt KdhUqco@(K-Qz_))sn7:josJ6BHrRfۅ_W^jLblgK.amyg|y@_4AW9(4c%DVg,f$rI'*Y}4Y'?O 9?TPE5bupjq7?vY90̦*Dysz\*ɭ{y')o`N0dOȣ?C, Nޚ*ucs8s JwuDS1%8vN_(Fc=wJuK#S ~$ɏSdPbp8?PnF0J ]RS#\h: |'7$p,3E)U_d?b>hkr>KmRؖҴc4.);`I:z4$TFk㻟_b]As"%])ySʋX2e<Ħ`oĸ[2E eQ~rxԏS>'Vv36IPz՞'$K՜N辄.VCc}CB궬GEm_8g|1h%pQ1=ϙT 㮴p C\J~Ri#&@b|s9_z`u{/!:mŤ%H;)6PoY-c,,~,'dcMjD!Y[7mYGsҋ5y'8UM*3qu0ڧ^]C;b$ZVfa]`襊k"GPV&#I tX M,_ o+ J0K\CH+CmN>?ERj`+!q߰/wOG\*[1#\[ҳr[a$ cy(ˑ}$L}0cp{!kZ[w=_[4.ظ%-owh*Bg3. Xom3fjvO3w]?қp'[D>ag 2xp>izxxN! Rp+yLkxsV;DwVւu*,ȭ*h#?r͒A_a1uF̣X/ (nqҁ%LE\ӂo,Qn{~7wxwlc[Q~YPNjGjb]i ͽ~!ɰ^[PC ౎JkwGH~5-Be.m,Qf֏_8MTvM'!Cgwgb͈=`j,*I3kу?^ȄJmD+ Ff}"$: $ⱀTKcfcJUXG=LU\ۈZpTHQ(10~myш1xe "դ+l@LV`:@٭+Ɇ!ygYZ1de2f10cf66fa3a1f36da8bea1c9ce77c9be806cddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb3602270b28ff218d28de290ad58ced4b3f912eb286bcf  HOLCF