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 M |t4 ]/ PLM:threads=8elapsed=16.191cpu=69.350gc=2.849factor=4.287zXZִF! *]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nͤ?1oEg5{U쯺wcE[lgQ:*qΫ ʼ`h$p[ݱkҸV2*pQV2KA6f$phDM=CvgeC$V`P^F8RTzTwdλLQ+|ZVZV٢Ll@diT(僚X82"B a T6g% ٿ\3Ӷ YdcYL*,Q-? 흠c iY8;$KȔuS9,oæŃ _S  PLM  %#1]@~D^ @Ϫ`j1y%[ 3EGyך)..q0%UM_Z./H.&?,MBuc[)MJ8K~! ϐi-@H}=Ytt=&stm#(,&)Q[w%ۇfk? SBQ͋ ,;Wg3}mx;*E<\Es5VW^Ӓ1Dmy4$׸G_XCQfzbi%Aj\pG{ft0\8<|Ypù2ZD鼆>n*AD ^)AXcDz~ [,;/M*)^@sxg=N::Ihٲ `r%f64H]i'9 CBƫVQ$F7Y]3Ev3A5K2ݚI9/ G,Ȉ" %,eSq.^$jyy*ޫn;=7Ur fޔTnF$-Jx.)1k(x&dUIJ 5mҮ픫>˵ȂTn,|<φP=JڤIVHnJߴY275%۽>Dn2HYO $?$+*P<}JDp#L>6" wrE|WVÁ4 x,u! 1.Y֮n&=dپ4`stFɌRUvLΊaFzۧKz&Kje-e_(:2J'Wx̱+$m = ny.gYZ7zXZִF! ]ŗXi%>t{=uF[XSˆ CrGDm% ,N>ͲG偗|F1cAnij,0Lr!r[/F,ZxLߨ"6gx4SҰ z@#21K%x-BrD2qB0tlY,sBX3ԘJ8fnj&Daf̼Hi#1oTf `PױO!0'oI 5CGzC/<%5" oqiB,Q(GFyA[7De?H^uV^WKZ\ciZ4^C#wrCKB&u=(5ÖZRvt1ʱyF+N@6LvC5ˍ[ ;#}AXEl.b6E5ϵa 1J]CX 8Ѐʕ 8O-WHz[.rM|% w9C~jﵻ0L-i476 朱dD21yJ_b^a*"Լe{g#?WZŎH^ר}>rb'5FR4Xܩ%KOx: ܕl#,S%jKJrd? #RD~i\ Gu ِ.@ Z=F2"Ndfl7v~oLt`=؜Liz[[BoV ~,M?|F)J AnrJ 8'{m3Ό"vK&z)[׊0LH5pm3L\/زy\Kc'ZJJӨ I2/FW;rIX2a"T7clR?Ԥ0kY/bˮ7ʡ)_6V%Ff}f %I6l|fv Q^e )`~!q ^Í%ʹ?;IR(${,-oY#4 teBaB.ZƠ5v HιXٲ'g!N%Jb5VM9'L:U..c?ѿB#{^Uj([-jԢrAlf Po(J iC7tF&|=qDTJr74s)Zzσ!mcϏU5I''d7"~K:,/!UP?Hx-)8eWg&OefLQD{pkJ.OPi) !}A" =[ū0N}W 4HD:A/K.3fȣXt 6r*!'2t}4ӔATR8km>2` ^3I*4͒aK@QdZ²3QǩB?h`(3}S;6 +ITwk*|gtc#&㰊=0[y=zW#`७4w}VFA>bIrS!ui\(=*".+t$ѝ;톄Y*bSX%ʯCRRvUȆD#sxO@lvnX@z莧']8UgYZ797d9d2d09c765ca2863fabf03cc678b65f5e1b0c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b