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   f/4t\ ]c LLL_Factorization:threads=2elapsed=68.698cpu=127.156gc=4.812factor=1.857zXZִF! &]ŗXf1-/6vR[8SenH iYʰN}65^i3Eq[U] ,Uq?M) YemS QW*8?W4@uAx-+QG@Pte LffQ"2S]du==[]ܷ¸gdO"kk2[wpnqA Db3b[4k7 f]!SV`ԱoTJ$j;֘C# < W>3qw'GPиh\[1\HӑdUܽ [׆pBLg~1}͇qU3˃C!>zFMy;W W`Ag]Ε]BT,ۣQ~äJy$x;Gc Gk&\!#i/!19ύqhl9TwN,ž!`UBCݷDof=+I3teؔ҄VjbfM'Ӭ 4FlT$=8b7\Wnj>Bڑ>BsY7 1YFsK`TutW`S,]7b8J1w^UٰHt $\т? W%۳HqXul'\Wt+(Ie H$|p%A {!ٸ<'H?`nԽ$OĿUa`lrޤ$8`4oz diAEMOydy*|IѨ(Ley [p;"{ŕȉ΁`mBVyw= lәf;ӧa=˭0OpYjyW|gRsAHOL+{26K+أ,9n 8${BoػP0RejkX) ^Td@_v' 4FW\R7:Cm$"'cU#I#P/|OT9!Z2Tnj3L ÖSd߃-86a5 ?!cagL9 >11ᡘE`x>3DO%kw\&%҈gSHNKi߲RWv 6N~hcIorZ AFq|rlŨ րfrɳMσړ#QGL`06voT" xJ)83JStF2c迧}2FVok}jp5e?+oHQ m">@E/TtI&Gi=*m\Khx/qlC×Vm78T,pu$ȝbO *f&wW$@ިV09OaqÆ>+U[Π n DBb1+:`mTC 4ݟ'{;e,;8 b tPb0\Vf͆ѭ=V1HF`7,-ܶ!:W3bw[CȃcxnӏR%jZt39ΉSMBn۫.X.sh"-<Ջ]nnyR/YfzfмHy b> =Bߨ6j#7(߸b J5I&,i1RRGO2Zq` ĸtlSjԋ\PNN;`{VxC8 TH% h${-=7󎀄&,x¨m]V`Sl HsCtCQ izLnsK:6Sv W^~~R%Tu^8^uN$H$B{ ,o1*˱)Jt TvEjڈJ=dĊc?:gͷix -UjuvHL{1dM==E(As Vyf95n[3lxB~wK@YyI>{g$9+ J\ol݌^2pv`E&~=#$$ڑW2Re/3(o"E4R$j)HOԊ BP2`VQ }|* :/VvFӃ,J+* vTE蒔^j&Ȩt"fp02Li ZӅ%>c l\?zڣG [9lQʁ9/C&1}H6[-G D=)' 8( I15jVs[R=\x7ʹ|1zD?*ݮ^ͤA|I*táƾh_JJm,b4o]jO1 $<R:(_DQyXPxTA,+_KMZ@A uT n>dqW1˯#z.nD|;yw \d{>޿@{dvtwɫ.*JgOukb*e52HY|E#v;\} K`[;jJ99TǼ%PbmD(+>Irы?WNX=C=k٥$jٱd2K:k*Zky7y(L-:-ߕkabX9v傕bHP>%%uA8i;dbbh-_%:LݷiȮ(>4I2Ŝ$I4*j_zvߪMnF(v;rh"Xg~ZnܳeX@b_!Hv%ivn#εET|&>Wqu%gHS;Wifa%[Lqg>2́>=-њfi ⃳kH7U)THݮ QHoKt2H/]gF\\ ݘ(m&Fzx̅z2Ͻ;&ĜJOV+~HzZ\ȅ󄝄vP$>uzb|Aŗ&n9w TChJnyY>Gc|<xA[ͣ-Ώ̴`?@ε Y-x;u.Hh+ `Ojj \t e V`W6IpmgYZb906d62bf7f22d45aeebafaa79470cd0c6fe727aa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c 29066bbb6c0c7c2c679932f2b0481b82d7d2665c 140d3ec7db6db4c0c019e49bc53137586a59f617 bacf8d311eb54dfc78f62c68bbdbd1f18280e26d f6d621756996461c073b437844c723df73b48a4d 63566f64ea4e6032400b899bb548056f3d8866aa fadc21a489884a10d38734790e75904b9640cf8b f457b71a720198b1d43d2fcb835e4e9978ebf68f 1c9959a222f2d0b67a3cd30fd28d88e2472810c1 09c9286385e28441a21155d38d06a3f099130c52