SQLite format 3@ .0:  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 x9 ll| ]/ Locally-Nameless-Sigma:threads=4elapsed=25.341cpu=87.648gc=2.088factor=3.467zXZִF! )30]ŗXf[&!вIkʬ:zSzrƘB:~!o}Jwhvcm$~.cя Rpu4E@`M=à{4-Y8v[:xFVl8Q,(Ƣ{u×9RF񷡷7qŠh`ty+Q.Zԟ \n.WBjXV?G(}4`ĜkzD@ VO.l|_upGk7<:_#?a>' ?I{ ˯,cf!]txW/ =qp6Ѫ>b+3q.RYq1X " 9 Locally-Nameless-Sigma  +*jIORW626`yAukqN;1'FX-I2>H lG+ڇC8Zqӯ2}jXL0F@@% idrlH 3xHE 1j4f2wb}cۃ4ߌzH Ow `<>T"FLՐy"F~gD)k,I)c HU vJ>ꐸHGAyB" \n]ɾ߈->Ρudy4~a_/ߠZAj.xkfj]]ɲzӶۍ&=\ш׼gco>O?]mLv dM@ioƵ|<rGe6t[{|PJBr dEO2U2"j3,g5㻣ZUJ72_4"4[zS3CњX2Aް7:bH5ɌylJ)/Y"8φZp-ڜdBOhf%8|^x>_Vn=$[R(mOɝ~K`D!d  XPUMt}A\'&/@0p۵é_n)@H S, _VM9NiړacixOGm֒: Rb'hgYZ7zXZִF! ]ŗXiɟ } !$FXNCj߫$KԧMTm*i*[;%%$Lj.qoUuEӧ+Zb'hex a'ΤXfR: {_2j "~aMMUu[̔ KfH%IYF {-d<*\XK?e[ys~4Q ~6;Ήӵ 2,4ңȪzOgYZ7zXZִF!  ]ŗXi%GV3jmxLSE4\&6 PÕm,~A)sɌc^΄>҃c>DPYzx{Q*ΛBe' kl;V뛘ݺ\qSJ㻕$}nȌL /s*n_ Ҡ%wfA=RZLIt'.cNnxffn,Q/LTC:Q][1dr<3 >>3&XaKO ٥lnU&ZSLWaQ,‘b'd*vA=X|P!OFOY)1;rma-~j ( ¦CM]Ǖs̃2'@}| Zp`Gˢ(}`Q83ZK|NY?ؤ{Qa2g4po{Cu_L\ӻϝV,2`zzw|=m;Z8[4 &03XQ!&yWD%\> 1wЊ|2RzB迒oZaͺvm ֩'ߏ'nZTw4Rb[b؟7*<jY1 KW՚;#:=5w*:X<(bDY.P' x:ĵpi܌Yn&}_pNk򒊵23 $~E[tea/C\%5u=::Jfk1&:G㍧7 EY=$&B8(#xB|I~kMvYq"xN=ԱnYHio7pOk@ #:_l$. 2Gg79n"ʴ,rx<[_zlY%~UMx0(͓VJzz(iGoA("~c1 ćv:W^ۈ $<򆁡,Ell Qx cW8U 1:=,~=յwO']CD p}(;p{R"i7e:y lR\ة^Sya”s1.'@@+L