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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info xx}7,|d ] Irrationality_J_Hancl:threads=2elapsed=64.162cpu=116.540gc=6.052factor=1.827zXZִF! *b]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıb톹5.5J yM5g싄ou~C^v!頴De؝2/穝r`VNyHX\W (oa򵰂K>}LJZ=AM9zѩ<-crb﷦W2>gWҢKS\ȔQ."5쨢O΁?2[ 5f8vqs(a 1_R%Tߐ!㎛Vyv52 Ȗnzp 'AUa/.{,Z$vAX1su>E例qRg@#.6TI[.9yze3>490?Z4@8^{pNa5RJ8b\W7LJHo}?skX nv؆NС#imA2air '#T4F)>V]SsU9}]ZEwm<;gb\qkJ9-^C! hnTwɚѩb%(%ш}@yo9695Gswdo2 K68v!1!xtt)x{d@I3!KFwd*OT|GRʮ_䰓sWRK˂fX V"~n (= 쭵 m4Df8K?NдqPaO߽J#+k|&BxSe#`9Dac4e0C/#("yğ-vDRYWkQ LLu^}}f˂]HMHL |D*6fv{]%LKjB.QEfVirHLs RD8S`:(_kzCfȶ|S*QhC+\h︝sVe,ʶeΩ(8g+|b O8e0Ȧ ֒d4[4 4*4|lș5R×]1ޝ^Ú!I&毖 g5-Rg~hFI_RpoietdW61֐q|h#Vwg"sjV%}s%jw 4,yw<^%|Ոڎesg3'Y%+"?Klㇻ`0jpݥyCpf<hcPD@|o؈DN[V>&yiooLHZ:NS,6յ VG./[l+tXVy q3g4dhnHypB΁[tјEzc*F&:D엻'MG:\pl͛ vj=:7?U}nT>44F=eđiwJ:G;Kl$n:fzkvM XfsONQ3Vߜxʌ.~\P/IDCu"+h g\<>q ,lMͯfsO6RoM>6Cd~.bL$g/zxyf΅Ϣ."mAXT`DްLÈg4?D9MtW10m(Fn~C,fccSȃzecls*%AL^ao"1He‘ G1O`yjI7Ծ\pwrFH:F^*v;ƒ[DP{C ?:&2.Arj]Ƀ`6sQNFiV֛3T([Sue_.62~0p*o@pPlvuXmʇh˻3{(>Qߴs9^G&J f\-ml;zyǶYcs`]k+r Pa"F^Se2,Vm>v 3{,VCe8@% ٍ?ͭM<$=Wlv5)"0NJ"kGD=W6ZS mߎ^!U-J^_IIjThRF Éf]DG <"F)\ $-r`i5no!߾ t P 8Y@^(iסp9t=.B |?ab?wh#$G/xNG;h/vnSʔdf0*5,".\Lx_ot4W](R11v;4uETyk49w;p\tfeabT+'ԉ$Д~zyXR#eJ6e|ղFFnfAr0[ =_+}־=>d ]e_\M Br``v.ڡଽb?1/(ܷMڶimNpwA dAE;RkäNhs0ŞHV3tֱ^K'"{t5vŹ`t9GL%!VN,iÈx*0;÷'adV1ҋ?A]<70 Py3)d8Ɠ}Pbimj1WzSN:h%ҷ12^[MH뇶O0=yo]f,:Pl3rpĤAioަ~Lg3Un1 Ro|>?Ogzfte&jHNk/Bdz8 D[yŇJ Ep(L/b6~R$i/(C|T__jIUIꗝ XyJ[}P=5vibe5HM+ 9l%uwxq8\(h]Fs؛9DS -$<ȱmZ68 d{(\u{^Uٟ A]C5.4 Ul?;=nn$%-: 1?nwyD&W>]Al ɇ%Ve|qp%ϟbΠ>Xuh? MLg}V~)ЄoAd@A0бgYZ3b804e5d8b4cc4c6d59dacdc29efe805ca157faea70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 c382ccf41ab8971be7e30191e1f54a96cf9fa69e