SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  1) \\ O]Kleene_Algebra:threads=2elapsed=56.481cpu=98.092gc=4.692factor=1.747zXZִF! 0]ŗXf1-/6vRZcm#kƣOw|ё ̮/`R׳(xv?[U~IUgH:X=c'.'V]SAKJ7Cmˆ.gvT^ww"TB*"֐DE(_Xrn4 ")|;_D9J>B-g'Q/>2ħT ݧVxs}9TLh<u[%bpɲLDt~+ /'O٦?QYL=8ʈNFJer;Ԕ~&b_Ǣ:ge4yQQaf2bl=xoW0BSXrw߆~ةk~摥fu"|1Vy :9!t AH@y{O@*>Bq%Y\e"y!F, β[m {b}:e]ˠ&hl&NI O>E!\Y"kh*GV14T6s%,w*<( +zWJ.O:ɂ xϫiF;)0eܯo1Pϸ^SǕ*,U=ѢoHN/\9[Fv3Y14 mz}^eIOTR?ُd/:5]lr!$_xoNY@Gwۇk!pwx7(_i '#G~ ͝ثP_s?$NubDj΍8zqXQd| Oi;S3CyP.K> )qע;fdB+X$r%uDQ4W/qWQXrd&Ӽ-HYtqz*]J|$% .Gˀ:KHħw_ytr? 0ܞ~ߡuhyʾ AqVJٖstvxc/(l./]~G}4h>iL9*}kq^~iP^H0~\@k0$exgN1ͦ0,21_IIk u.*q)4\ L[IڷXRGSk«I 2蹴de4+ram.U-3w BZT&fM$%&\\W(3#4©\Ìq Z㇖ ֢/\1zVMt!0Jvkdtnogbm$dkJ-ΎS($$Vw=HsWiRz_J &ά7<ߚ1#pQbNlr#7>øI4uXrŲH7|-zX']h%WdcGMZF.QgX05vCa F˯).|49֟FYI"1+ho>,̦dq1R;ebTZ'Wg,7]'iFbtʺjysdѲ֥p RUͦTRFwybMdWa~qX.į:fb,cl(x"ג}汖Wǜt&]= Rj\ ` GWԪ6ҪB"?2 Q7O"/tpҌ!fDC|=&{0x+aM lNr8|Kc;gM`#w{9%j)찞`%Xպ]mf:yOQx +Ph Ӊnp64ؕAF7S'eDSm'Ǭc)%资dqcgQdt: L3oUJ/K}sZH$&@p\Ti*Jn(OdhIzL x}\M˼\V**Vt08@E\zS XM⭐4mnћa(u$iG#: l8t\[A ]׃Zț ·dUZbuM2R!DaLQv}.QhRSz?cxE׹(j'f~QDpXοR BV<(2 g]J\Q/d]ѹ10񪟎7}oD9P#P5"gUBS+-? iؓ~ _۬A;j(S&ZSqH&S0+|%e"!4Cug7.tsBO1|垔DӃ?q)})d9'a@oZMn:H_s3u jLuU2$  >)SaUWUs̬{.g]L}JV FI#A`TŇ0f8@ o/$95d"UbC0/ ^==͈z2SK Uf$WoA[[մXRQ]6Dw7TNpGNÔ&ps_xuK3Jdrh@ư7y٥$ (1 r~@Qž`!2]1Pgo"/U %pzag #gE[b/KHt JDPhjE@vJ+k DB#Cq^rCMҖ/>h>Z; nwA1y\|>'I T߁>Tk.JRN1ǡ$˫.;rmWqS"uW9^vAtITfi*j910`UE8?jtF;=sPuyfﵭlYXJ2rb, 48=4_X'&DAE`@X [LĄu&\;x(BTRa82krv\ 8ف΅F~$&ĔztKpĩv,՘\`.LlYujȣ?;jzl)M[IJS >> 7[lh4]72&!2rf(|G/*|J½bD}#Eᅯ?A46XJ4Z_򔗈;Z9#O(qQ1\yQxzx!S记 ~- 2Œߨȵ\ HTC*+[S0sZ{$d^;Xe %9 >P6 c bO%M!]֖hzySïiѱ|Utyr#:*HMD Jn@:c(=KR×;y$G,JiEFbT$dyl{٘-XJԾ-$Y^)BqEx_7Ab R]S:ƒ;4'$Z3*1<6V(p1gYZ7zXZִF!  ]ŗXi%grת:_G絥t 4?KmQbRGl#.p].L,B%Zܨ"֠gDR^&y15 uH|AgQwgZ{LTV)oW&M&j&ΧX txIf%3qc W AƊSF/"uM/ 0iX/FMN&i' g|4L\~w$f{/mp'a.ێIl|{ZÅ-OڝnEo#'y~\$f EBۨykN?V婶ϣo.7}i=͍3Ox LXZ9!I+:;Qc/;7T6U ,-CeS%'6N#0s w\LJ̕;^ $E9K ,Eso%jJYTlo5fEi K .S:cJ6LNW2)T*|P5?Pmw|-xƕ\ۢ]Mk{lCnb#`ta31-EpPcu5$f@L.N{ IpdF,~b |p٘hGx龃)XhgWN0Qq!qD39mJD#I=ZhZ=QzDq%)3syfԺ b!b؈,ׂ] Mi \a~]p 6삫=yR2|n!9:oȊF.z8Ztzt;$`*֚.8YƌpX"?;6Q._fi[?CTP Yfm(&"D&o*H3<l$`q"Flsky8XδG\峠%v껐;"I:flLb SEAX-Onˆ)8,6F0G!Ik+GzY4[Ճ5I*h}narů&JE<1qIX `4Xn! KbD;hYf34;ȩ#~'k!`!bAIftOO5؆@m|?KeϿ sH@ PV䗉P`TS +\ N?S>b?E'ٜ׍SZd s,ғxu.[ I39H^^[ZF-*xDsOD 9{E!IkCT&+ǎl_ff3>wCyb`"qKIk?A T8O/#B&D7RэMvbN_3csO0*Hiů d< !' 1e|VC)'_eIXgj1 yTGKY?2>J8ޔ^AfI`hLq!lotx5/͔$7k'{Xȭ2E{'u%:֭fol"^wdZPF4\GaC&ЭUWs4J%D-BIK5*1qκ`Jz} u=ZX0N?K1/^<oU.JSRqޛS