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 x)  T ]/ FunWithTilings:threads=4elapsed=14.041cpu=44.740gc=0.320factor=3.197zXZִF! ]ŗXf[&-? 4gD6 HƙzSbx U׀HZ4B|Wۂ8t$s8kE(j.!8i% qBvX/SM*2@xKLRgPы:=jg0!326k[$a'] X:;>xGiT],RChQHKi',pI0 byJ&.@ NYS]B VV(Z(i$%xDq} F L~gYZ7zXZִF! JD]ŗXiɟUXvjV*~ ^kmoy`'Ņn)1*̣ e(nYT} l`KFu}YZ7zXZִF! dk"]ŗXi%L 0+{eR y=Biy˚6(A OW}7b龤q*2;M 5{*arsC]2QpK̓gHAqbfa)#O.%5o˿9aQ[ӷrpcO#٦k54v'gkp]ĩ9 ɣDZSSńK/nOj>LIvُ`ֱ}a'E#2Y$E<º %R.7Dd|c;y 'B`y*,] B4[\"G) !}՗FSȈ\_oj%d>;f0|R2¼ӝ-$nʞJ=#V@|g:;9= VN7$,x~Y^Su &NBl #f3ap9{g*1Kټy=EލG\ːun_i37j< G)\=qj{/+1!<3y.xR5E7A5x*ڃ`r5mȮ'dשBxɲ#=jśfLt<Ytmޗ )NS-6W$p/9G4LIsݘbg¿H Z&OP@C5KCc]]Xʢ)CsxK"ʘ{r_S^oC.YUѤ:t@;`OEBX yoKh+!TC]xi?&Oqu\\mr:g;!8GbIzkAN@&w~Ca#Iep@UHؙg$kΰ įߝ_\!1dpsZDR\5VH)1AI2cf/ՌV!:73bQtҘT@h0m3#EeK)ܰQ8*2A1<9-^䚍L9? l搇' Pֽ lj:5m}I17Ojhc, 5q Ck