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 aa+ d$ ]/ Stellar_Quorums:threads=4elapsed=6.287cpu=17.104gc=0.348factor=2.727zXZִF! ]ŗXiɟH)0%oG5y"4ᘏ'q_wFQ2#}W0@k/&J%pKxV~PB1VuGyeCPRK ȑ#w9J-/zcuۢ\0"SN;ς?HEZi~)f"TMS`/ส vK07l͆LzHG7 u&TrĬwu!Z鍫.ӰqlP1J1C5s&/9!>ATdbzVn=$)XTٌ Z k\x?[hlۗ=T\MU,޾DL*xS aR?tuooBEٯ}%{kjx+)^$pV%MˁXh|RFFɽN=!K6vJ ~.1?݈*@*_߿x!묎 )z(P^фH*8J o C#wg!Η0:aM'&C%MMIL]7ัi*v 𹺜T%zY'l_Ɲֽ?nv[V,N| 3woe4%&7",A~2Q1%zcɊC=Ly#r TLXɹ |Uǯ]=O3:5@JPωqN4?q"dDB>\ CɟkSVgxBi/DV[nb(Y hG;)Ē!-c~". (tȍPȳ0+aTSbtt}ඏ[{<]O>@-Yƀ79[71lz#CB-I?mehJPIC{2cjĸ) ,GU!t!W"w;mx|˂6zɝ󾇿9qZM@uI[#w&*PjaN$λXwL?DK_;Ӊ*n0=QH!"x< + Stellar_Quorums  2[d]혞ܐ 5у@@E䔵 ~XSd6aTC}KfxUdLƈBt%Q [a;GK԰ !Fq|fdY }O$'3Im$';{ Xjբ0Yp>L,;;aU=ǜqcf mj gOx]ȼ1|z@60[aϏ[mc K ;c sI0Q~_ !(5m0 #V`h8.Bݻ&.iʮVAL'mF̈́C^/5 p}`-&kݒA0cѭar! QKՐfi~mĞʐA Q뽲<4%ބr+<,`?hrX1٩|(ұvcV[ףȴZܵ P.S|wsIYOj E)-)aqs뭞ׁ> dl!뛋w-}=\D//2]S%iS{a4t!+UJ{-sD֤7 (=A#Č~OX -M"X%IriKN@4*V'|܊_i 7oZet׮jUiӻEss_>ͯQPx:fǿ%-ՀdrpA$ȍ{b^<)JC087Eo(yvs jT9'-5@0CE@8`nkEry޷XRy+F$>p^2`ѴOcHlQ"fY0EՄr. `vMBW xƟO 1Y¾s>mށ qv`TW:D\ S1͗s}j^FKޱ>Es>1&'yἵ=ƃyE}-/,*f=^/DVLi1{nc)fX'__aAxOnE65[7 e Ȥ0ɺQ tK`~Ƹ 5*a?,aC,.y0eqq}’'6gpBTwW xma]?6~Y/ٵYc\7~_Xfb0!X3'|Uu4:53M@HgYNB$ɍ× h(Z{$Eȅm7OtRq垕xᲅms~?ʘF9e7 Pl FkY |QE+o`$u,wq,@ot/6֗ίO O-P!B'"ӝ|}d2(ϔM'!&BS^e "l U#|B"KP(dN%U):褳NjҪbJ[^ #.* Cn>'xCߠ`+xX,ޫ[k]q8p2Z+V:|gqsB ^Y+04Ȃ8 `q`每UB4ob؉_jN %S^бM9/?88_^#, X_s n&BA Or)p2%I;Ⱥ!W&Tj.B?^ۓW-6F'$zT: |K*yʦ$ 5IS}P Nm!A&UR*p*&gQEb_=vyWihN Z {;N^/ա?~'")VeF ؤf#dtˡ_˫L/2O 鉸k76t<[" Խ G.S)=$_OŬK 9]ķᗎ@3Uey)eAY;rq4b]eK 'a<,.p"`MAEM\15Q.l9N#Ai-ESv[<)d'r"\6 ǘ49fC7dw2nC Dp\5;f,.%z^^M|"1')LZ{Rӑ$Y^ǡ|W& l ;\AAu\njޔX43Yu7wCJаk_F&iŽº3aX*(##ܿqdx6/R``jN#(<`Hs>#,TgBCf*^*!N_\$kQ'zf*^'\N{k*`sd<# "αgYZ7zXZִF! SE]ŗXiɟ1·3<;lDnQ ^p*5kK?@O +A`XtaT zf0}YZ7zXZִF! 4 ]ŗXi%L!l+F4oo$n(ZxsJ ?"cc30Xа‰B #w#psQU29F9S~o?dᬧ3.+yeݔHc%G<ӄm|46iSTP3Z[ ŭFˆR[x?o8ߌrLARO&L&o<a̠qg̭MHcAn]8f 6AXp`+PHtxMMsH$rinl2Mn%ob^2l7OU,|]}WO'1{4J Cx!yT&lib[S=Im>τǕaFDiG/`^^iAWnx'T 7[ve`HQ]0=P7!+cĒxMQȫD U硓$ݵI/5Z7 %w ʜRH )cWVs2$bR=wnV{Xpn2U^A,ZBخn_L׷1cZOʫ-_z%rxT&M;uѮ+)Q?+ {eV~|dA`<ʚQc@Tn'缔Ez)a?B1[lxZ5oÈvg!=!n[FoW{ *!{ *vr܍Yi pltm