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 P- d\\ ]S]Relation_Algebra:threads=4elapsed=23.490cpu=70.028gc=5.804factor=2.987zXZִF! #j]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8U!r FW#G]6:1qtWHp!C~EɀoqπL6}BŎDtr.]I8Cηȿ^P*&@~VCQaмVjE^qPfGR<)mTb3Xɖ/M0.(?#_Pn΂x#ŒenFb& _n %y'#R1s8 6GdQvNvN$UC - Relation_Algebra  %6mT).S#$hv)ޠ{hϦ 2Agn&!Ez+Stnd݂=M>AqBVُ;96od2Hi1"&M`?~ݖ.&}1F!;w'ǡF/oZGt AA^}̼{A$?Jʌþ˥቗X'iD~f[mgKEo"f`iѦXb( Os8Hͯ[f Q0cT{?2[y}a+cFhk?鍾GHe'5՘YaH{`N±S!uuoPf)SF2哟[wrf~Bk)!FRuS.h.__$BI 6FNGD"gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%';h6#PPiߌ@/#/˒X;|޿ՀCaFz0R8Uv%U {i^Q k1@w־N |$b zWa_;PL7BKk+"E.h&K{!v+f^t硰̎"`2Z;7pr %*Sk؅Rz45CTq/ͧR./1ЁnE0Æ+ȑv HcrT+ syW71 ) ,SrO5 {#7 !+xV˸f஼.̟9w) +ٝ0a]o F%4#n/W6^׎]Tdƥ*cµrv!%W*\Wq}{Ez1)@l{! B^GW[rrQJ"pi t@KJ?>,󉨈?p*I%*ɑcU)/-0>g/cCiwY{1ѳa=v PH# D4vSxܭ[RsYrR}8vroEGD]DBVTk`tD, ;7JZT9 A(BK UX޶Mw42i8+LCp & zq ڡG:w$Fz-gf8Ӆdlc/OgEc3NB,@}OtDGp[5p=>̜Pm"%_/s0-<s*PKҽ{1C$-{.4JkϨ5SAӣwU<йwU1GYM k!%x%e ӾHb\2o'쉷5y K/ JpI3tB?3S$CA(͎o*̔>*hpɚNn\dDQxzѼ;Y*RFӨO-Kcm'Q[j}A2.!֤kG+bRAS}KCJo r-CX;78B)/r7VCھ8k,[;ru皑,^忺Ѿ/X"lg`& NJ hM&{@&[mÐ?؀||>%& ;+tӋuvLb:B0YcܰgL[twc#LBLd G>Աχ%FO嗝qR`${hM݄*^hyRKdsY )++ p׷> 59{ʕ[+F7@HHc1ЩG,n)bA,(Z'S,6j#ogw z8o߭trX̕HъJ% gh_{u{"}rwl/IG ,FIs%8H aGRI;OsU Rw]?)C7ndb)8I*5i5{@ڨPTmM '|W˵(y ,w_HO#rG{ } Jycu2d:&y˯* azN,j)>3tvl/  Ξ妷HYlwʒ^^%(%gopm 8GQvF%b$ 9WU11PX DQA0l2A {|{PSx,"x,5>KԏmIZ5&5GON0v/{8gRٓ1gֲhgjTG99̿: \P^K梡t5iB$,bŝa:;;E@In*+&ӥJ(wOVr0hB`!=I೽1l.xN /c4[nN<ߞB٢,6^:1 i^(ÏdR4I$="og'*OߦPs' B bG=]" ` C!rLO)-PIYEŮ.\M @] 2Xa$Q q~?ߋ=e7FKF/ם@mve.oC'fIE.]sRRO\o Av]\Xh !c<8ٖloZyt k$uH #ҠE BchMq #Xw0 U)00jՠ&%~{U2(2^ ULψpSG"; ;zٻFh+ەR*l"|# k7bLoܮ% t,5Wsٓψ6o UF2[;?ny}19?/ncɇ5-jA0BP:|rT#tN4oɚrW%߬SbX]B? cizJjg]V82􇓱gYZcad02db7858b746a1671b53ce7b04e3172c93371d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 63d0f9bef9161aa3d53a4c5c82dbb673747ef23f 36dfffa0c858df6988a360a2fed83fbce7930f7e27c489d11a6966ab614d1407b331bb8bea780cc7