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  A?LD, ]]HOL-Computational_Algebra:threads=6elapsed=35.203cpu=123.420gc=6.332factor=3.517zXZִF! 7 ]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY쯻n'Wd2!<.czىoŶҶr!]@]hL(W1t豮1%`p>l]NDnܫg~R7|\VQƳ;mss5ڴKԸ#Ƌ=FB8S4zQ+t{MAVD;0~OP6?&} -5diVII>XGGL~#6OꬥUcGǞG@O͙6QN8 mP-% pDj΍ -#s7B\c﫾H3|cŻAJAɮ^Xݷ2/?WE¢=!hR,#wD,D+nO3*(b5QD:rKZ p.o&}H>nj^'' tC]6vn{e"-U3VNSe^) |scq#Y V$U1XK+rJM e$V5ZŦ.:(\·B9KgF|uRyhXy hdy=_ &uzOW}bZ.0'{|HXW p19u5R=﷼.YA*yKZ%&Ȥp:c Y4Eڊe)SSHALW |V݃m/3>&oXPI\ë2p[-`r.ۄ/b]Yf/!E:"ZʟR|3޲Dуm[o)(6q tSqn 6Cd݊*^V@8w X?ģ=nN Fw[%q|σF}ÕVF2!Ot>jLحp䕏Ua˚#r9*Z @8"6xJV[b n^uzBy9N yӚ.)H.$҂M%9bwpjƅ$ʲ|&{ uc l D0p%/܄IVڈMټ+24-/`yq׼KLj]#?dЕ zPjN neyϱgYZ7zXZִF! ]ŗXiɟ1)ǫP},[g-Q {batz}.[T2xMI:wxjpޱ G}/]V+0|~x#7 <{M=u.&$r3#XC˽ˢ?'7!|R;f%{ dhYcfm*('(dx=bvl웜={ğ'"λϸ'{j6k 䖛PQzHÚ^H=xZAF DSɬYN h7sϭ,TЃR߳2Hf&`ev񹹦pw[/cbX8nV",OGt]`jfWD}sk6q8hou/-5QXYUrS҇}z&W|(\a:]Cqf 'Vm=ݒ ok RNbq+@oAM4kyG]Ӹ*,Y/bD?t r:ۥN0R%Own^]kxͳktژ+ 9]$jpos_&xUJ<p\G1~HS5ɫ&L7{ lm~3 FZjh ܇YNf"/u6J |PR䔚8s!BOȊN{lZ65R5/P)U#f9dU4,Цc{}fT3*>(c54Vh/)B֧ٱM)$v2BJ.ݘ3 |E6S~ m\3nHϳ^h[>aE(kffH)ͪ#0dЯ*Rt@iY~E7/vtY¶w`iT V6kl/YxN|itvY 8u4 'BA)xLUZ;μlbrDKgy.vZp| nQ͛DQ2x Ǘ ~hGMHʁ 0M(UQcuxpߡݰxSϠST!eh{aevh<{9mB4sxZr)hR%BuębHw=C3(,Zh`;h|; ̾1gѫ0dG6Z Mp޴)yɳBv&p>Jv\*חK8tG/L@pޯPsGx9Ϝ 0GC|x酺QN@nڲ( ţ`Ub>nE쭶{;5f-\zgh )c&ɇ/fy?{l"KnUꥒ d+w!҂w" zœ41X-7&ZE==H48Wr L㪚*h+<uwA XN<>ǡ5ܚTitW#sn~(\f62q"ͷȿ`ld9|90U:ڏ`܂y,r=6-h` gK^Kv}"(goW L}I `P|v ix%JpVېp@ aw #ב;R耾RKR*ʡ+vs;ffGQH`lC@Eh߻Mr;C.Eīo*lݡ?(4adjx37mRls}Oq ~6n+Uĭ\~%T$q[vvܬydo1i(mvvl} dۧjvG'JK2Cz3<"%a|50[\Spl)ǡ ao9O`{gf9`OKlzwgkgN2A~Po;US-r,)6"9tlK,E[|*EI@򏩻D*َ? _= $:㿊>/اr`41z.0WQؘ~@55 r FY7d'Mc$+s29P5'6T];u1{vߢgQB zԙςP?tgr7p e-۠|MxtrGA6ًr 5\n1vk p$>vAX|ծT 6!VIU #