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 @ |4T ]/ OpSets:threads=4elapsed=15.003cpu=49.380gc=1.428factor=3.297zXZִF! ']ŗXf[&Zyq1/F˹1`2W yRO!潛pG.0ԧ-yOV.H _}m}|1n Z23eˆW< IR}zxdsDı:6|6`Pޜ?r Rg~'HBl^'wh.ֲp,!t0CN8NN.JM{~2{Guo?Ct)JF,rP/ 0S6XO4Q~`V& {w`Ȍaի͚](vwO5ub_'RV{z'_ExPp}x_vzȰJ!=.K<#h,OP3>",CݣTz s9]R_90W$ wQWү[o|7Bwjt4 X~N<pL,V% : ,q5Hvb; kc'̲qP@Ͻ"#P-ĶJeޱcolݱJ# rGJ]1VIG!KAY*2A}TBFƤnWM;>L+5F{V @! 'tdl`($\A+m'w@~ niGb;e<3gBśZ~ŁLoK>755H /^NV}y/;&ôً7Ȧrk J.q<4gYZ7zXZִF! S]ŗXiɟ@*ajmSg)ofAcDaa#𙜽J>a:k0t' Lٻ -X5XFvwFxCܡB<SZGH.;[G 8HE~dGSwwgYZ7zXZִF! o"]ŗXi%L TWD >ߙR[@1$RKw7O`mݘV RyRzW#K"n-I).Y50^'նb18xn=u١=N10ʸZGLZK F8.L 7/ST^qSTg:oρޮnH )}^[_x1s;k8f7dQ#<nՊO:|f1] gyB\ⵇ%uɻ7K%J#;L!iN|C8O.0^paE0~rĿbG$̓;&u^QZvj] ay{6ſ0Lo R0VVsnuw)˔1DzPrB RHrcLh"зwR;/iZ)~Ü ڤWX7rӼZfҊSS>u*\ϲ*XuL~&\S ڧbJJr8 @K9waa|!y:`o%j\Đo#ͱQ4dQ`i'Evca@/#TZ^/S?:_$E+|/]8OĜ"}(}oU+uQJ"hIeT #< P4d4uL叕atu^&KȒkx7l ne UƕMhX6ΖNFc,a7g/,"^no  Fq641c^ھ- /@XThr>!Z EŖoy҆h΄;P\g'lI@ !j.<(~sKȏ\;ABz`pՐL7̏ՙa}܈Y|t5'ĜRGq2rlS jŅh^t GHbKL R\u?Uk3B*| Kkgci,7)VSyYdE!9&ma8ڀS% PKbq[u\J7`gUl" \Dtڒng>rX YX)d p8SP4"4 mu F֌O|d[#04p$yL:lp%eg3;ųU^R)AM@?dzU˸buy+?{q"M|`QWt0}f< _pĵPڜl$|^v^V}REa? ԹCh0\ٷaIp1Y{k1nEݒ{L5n2T^5B@AgzCt^ 2`s;M1(Fګ-vҳ=o4LV /d$њc}[\b<@Z.OyOGV#,3"J >wW*S? Yr,FpJ,E/ITezB'>s gUܖd$h'y#tGG Yb6:*^}Y@p)JݵKrIeEsOyhRdpKMhiгن @;/Ȱ<|SoM}>)g>-, Oh284ڞҥDQ7wkWlk:S<6#[sUX̕!iOFT#gYZ7125f9d4f32a00d1a030932ff151cc0b06a985f0d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20   OpSets