SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info dL,T ]/ MiniML:threads=2elapsed=11.800cpu=16.368gc=0.664factor=1.397zXZ ִF ! ] ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4tbE$5rv}%\*lqAOGX2Q}G#z:LRDC?NQ!AE-sHtw>C&~wtd 'ߛɪQ ]BKyt,"a?[k k$Э22fQ|BcNũ(j X- t (Fg YZ7zXZ ִF ! ] ŗXiɟ"xS2}YNd T1$y=В0 d%q|w`xꩥ *ȏ@d-Y0f#$ee?2~|o1|T9CN1TW*t| ^q< 'Ʊg YZ7zXZ ִF ! H$] ŗXi%;nl|Y9V}Vp8a`٬9>*'a!p_ JFGPp|5PO.@eNtZ`Oo7Ӂ=T4R*-ZJ*ՊKxErG9,G§7˷uJ]xA"FuHjh)GNٮ5aMf%hj]Dw\QUn3ǺnCUOihgYJ۽X!Me ڻSNQ
ESv09de|/CJ.
啅`oTL#]bZk*fmQ
4ӗ
4]yf{
yTuo:#{F_LHӝ&UEWG^sLEy߅6 i2Dt`\;5o!nǫzvCb-{V!!{h/ )A=j&
Ǟ@*
b)yH'Lˬ3S<Vjv+^Vy-1柌*UgZӁikE&bl) 4 >`N#t&m _JSoX=`<7'c-F( ah㕐ШNfVęC d\hS$znΚ #-dZR
B Cdj[W%Sz3EN'cPKa,|htk"q_9\ 0W'tH Jz5: tg YZ8bcfd6ac4d1de9aed9f15cde8e51194c75f615bc0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
c67dcdc5c11e2f7c6ff9235a1567c44a85eaeb0c
MiniML % TMiniMLMiniML.Wdocument.tex7zXZ ִF ! ] A-MՋhvG"uIBm5U{
t"agXuq(lOsjDBvCSR@бUjD^ D:-\o:{?i\Ti$Q^p]"`
'VXptUkC