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  9 9<Tt4 ]/ SIFPL:threads=4elapsed=34.083cpu=103.780gc=3.256factor=3.047zXZִF! ,wa]ŗXf[&N} wI>>n.|VLڿu@jq\\Z~.Mפle)-ar:rK>Ms&xt-P'{< Gհr97k3^çW! f0fi&0jg<-|>{0Ҫ6-x-"Zj [X嶕5qd͓xօ8%?=.B:? 3pox.dŠլІmP?uҌ0G7O&U@QfE07>eILJmWDu,0wˢHe'H,ˁCu=<K*BE@ a%1towtkB)]e %!jƖzȑfz亼FfcynN 9ClӘ_D7gbZc1UV fo?5o|ni ']M1Ab5tttڃc9$G] 8JՒ ! ;5b "7E UAa:Ӣk8}xBa+>ĐfSڄWmDo/\_M J.51.. SIov,yɈvgG,<>=OuW6+Nfȉgt^)"@_=ˊLt; enfF̿ 9&6G: GyH]949yvڹq6.IgꝙM'g9 %젍ȤcY1 CLvW۷cvmRK[Zk 6@PLK@FHń8`+j<:TțsjU E$~!Iok` PI{Ƭm?^TNM p) b|Y'{ v #y4fcjh=`D!^M[/V׳)r N~==Lħ|Q޺Ǯ} '@ i8.bF,8z )m tߝ v3 :"O)b%hׄZO5>݄RqKN)m5][[8g6}$D:ƕR6dpv[QD_2|#VG?ˠı8b\sTT#iйu p6ʏF1P໼,1Whl޾|F ,\zq{,7=K;g~a:D(R~Q~%ٺx~~l^!U=Lu$)٫V{ !s"Cڔo: bw1 c4g.OEmQR[ʉΪ3P/0Zb7$ RDVI [x/qus^zrw #?\j]S]yoqwJT%^tpUA!==>xuǶ ms|W΁r-]91ԌQ/K6ْ|ad[v0K1FY gbȴ&v2= ,Eeg9g.%zP)I8AIolOBN͚"3&Ĉ-ݧB)z\"Y9byӔޝASJ{ʔ8N;g2XW˔TǂXi3ͳtlMʐ'xh^@)"qq3BD+kk\Ri!! `W93 F>1摐 E/p^T+R]3t2`9ʍ6̪BQV! K:VRdGw="C@;{ 'ץw2ݕ (񫃮{;ǬW>ڣޞ;7'Bl׊ld?d*{v艙+ԋ"6;4O~lKܓXPiQw2n\'w}m ATUEoah)UmSROrJ\ S9AR׿>f 6 ɕ&ي>G˥ "+'h^lhSWY"k fFGA~IɚTQ tB 宼bC*6k# ʳ)!g6472R.&]OƈtOFE?G){6NYgRkY( ЃB`F^FŬa0nʶ+#E/%"96 ":XakL@]sAh팡m%]S'(GBwb/s=;>[^:8ΑX/S-+O4ӐD I2\!P__Q.P+k<}<_FO b7V$rtc0QpsEx5>R, 3|䙤ѪO]lmɴ2q"@rxd+nW<`1e^-ai9Iֈ:yl b=$D%'1l=׋٢z̾}k#lycf,NF7EV؄w^ɤ=u44~ذQiđ/!S+ ѽ =~- @N[QzKѦXUT:hdɄp셫l(ovlMiWm[VB^iRT'x%E9Fܦbs3Jரi$> *! AsW!Ur4Le wTUS[WLw_6bq̍忽j,ɝOJE* 'UMpUvZbYbgU( !Ȁ$<1۳6$!~nfT$HUr"E(G5lfֺ%mz6Sh˯ϦB\gYZeb43f1fd9a21bd562217e7ecddee5500ce3c3e795a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22