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 ' lt ]%]Sepref_Prereq:threads=2elapsed=58.532cpu=71.272gc=3.948factor=1.227zXZִF! 9{]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAI~f5k崳pAVEhYv(v$V)Ý4#>l$}|rhU/qP n"wO|Gg f\(pHW&}: ;9=w5Xs%{~T[n H>S|gF*wgSpE=; :}Dž/_):'( \:T+w.zajuQF Ps,zn%>U2mTfEP[䛿o fP&‚ȗ\M^۳ke K0R+ovIч%;~A-H=TS;8!d\TǪL}Dֆ~xQ˭;/ˡU3\mMO"'&PߍӒ\wf P<ZHkCF$W}etu*vo`hCu>J%~n<[o&?ݕ>^wQu?mAU'#ǚgɖpin 20 :k?#t(P*O.IR9L=~:]Mg]n Yr/BL$w|JʹKJSfQb;Fh6*-wjR L# e"Cdetp F,˽OV/b^8|YkɊ't[}8~?VPۓڈ}~Z4jն'(C"J({^F見8`߬Gϣ6d8#ד!)hc~4 ']ݻG[!B@M9 n+&z:^)} eqe{te*$fH"Q]4CW$N%C+?XŚ/r$ JmBek3wDlU Z^A8j}S^˅HC~]mک CT x@HZI;PYsx蒸4傀Qr/rc sgYZ7zXZִF! p]ŗXiɟ1˦r~KunύNN{*O\ ]#n[4Xr*z8=7_L锺FIGwg{r֯,ޜp/1<\ zagqv)yG ' Sepref_Prereq   Om;Tfv[kɳI1Ci7T v2}iRU<&/7HHL ok60x֎-[[ v4A4P_gճ0%DZ㞮*2Iy9}= } 5I/ ݲ̏d bS'lϟqlX` Pu0ng tg=, =Z1 >ItkYnlh_D gl4ȏQehlL8G^MAN?%V&S#,+ 8M187u 9\}%X)=!QY:A*mm |=** p͋@6FYP$ѶC%ٶq;)&!-Σgw SIP ?U-塹O}+P2-!HDXم(ca0 NKͧ~}xa|*w^_/dY>|P 쀊|ոGp EOTXŸ.O(,qs2bڥU,@̘^?S{Ftd"Z0Th ePKJDCa,G2-Ϊ_D^C=;W~׼x6sCF5c/߾|EkW-o #PW3o{[,)%z}Ό )0"j 's~#M۾ղvzR?֋죠Ǹ(KW_&)q%$W'0؋bLEhz\ځ-Q |]D҄j/@fjN@rNT9k23:ǁ(9M,(1ŘxzO$JB5$/W3RtJya]۪JB^V-׭kOAI˔k=~ ߬ޘ錦0n^>u eTm w~y\ﬔjLŽXjY_ܑBv[~\X Qte T o/hJ `cŕVE$bL 3"oVNf謻o@$%۸$u7%_;J|L^ vmHáJ.0*""am 37ʂtW$˙ ؄Ocu !b_c&5'vCBN(\Ƶr ]4UVcJ +e`PFdFk67Qf9%¯MԷ.GH0.(s,ZP04;aY~(-2˨C 81ê~D7T q|=py[wvqˎM(Jx2nzw-4M gSҠ΢,2w/"B䢉=ik>`Dbp 6A柴5*EtUflۆ-j.}Bv͗w%oG끓ujJ%}🉈Z9mZ~KLjb:[D0&zu=jJQug"5sܬr aV-{:P}.EK?t/m!tK_*F'UK.=ƊY7f#M'\ǧ5^ږ Qma*:=$BV{#vH xMH) @< n/MNFLaXEZܱ#1,igIOɺbĻW!! (x?"6d3ՎKƨ2z]xְ4{bd6Z2^t=a5o+潗LG Xק̹"S?)Aj#:n+^l&Rr/kkd"3M; IbF d=/vo,`DJ:@˗͘QXGrWѪl8>; 4oni /V00ج z*N? iǝ]ֶgpj|V_y3VBwye!%)HϼQLcUgu0(/7GJaNʛN8$-)zۨepR9  7NnCzp?* c>Ϯ>A2hJHJss&XXlx$|gpb\a!4^pbw -ZL# 9L̹ɇT5u|Ѩ"T^!^f <Έ\!-ѶD 85}O"̇-Alb<4:&&W[VG LS`k-D6 ^M4ǂ 8 |XD9bUloc}|Z@!ak-2SP\ɤF]#"Nw*qbùww|@'.X9O<w ɒG0Iaib>rq Uʹ+~՝ukVA|5$k;Š|ٺ ǂfЏp0E 95r:fqgsLp[{VvvOA}f^K)='k )h0piܠTsơ 0M@ 2^ 7c>Aǫ5DsWXւG)ƥٱ)`s:3H/E:NűN4^$^ (ywQ .JQ8'Q<; V b6Ɓu.(cy.(F6;;d k;OOZG/v^Ŵq  ꑷ m~cgRF k9m|VXv@yulb {|x۫ -QZ"