SQLite format 3@ . BBh77otableisabelle_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 ++J#,tl ]/ LocalLexing:threads=2elapsed=88.730cpu=145.668gc=5.752factor=1.647zXZִF! G]ŗXf1-/6vRZBfߟj2𣌑' * 68E(a)l8^ •Wx;I` B96z ~@<+Pw7rҞ 7\KQǑv 襸q cKk (°MEfT4p88X5:[+GI\FnL.ZfM쥶9cO\*p)¦j_{7 OIFM@9Ÿ>x d`ތLhWŀw8chccϮ6];װ&Wy&-)LmØǶ^,|_TMaI =պ*n9qV)SΉ^ !֝|Z{+Q~ŎAG4ޥ_fՉY oaI-AW8"+äE ђl;o9Uc0$j3e.Ou@`cM&(O:A-xаȐf_56vct;XXkJg&~_7Mamzm) 5y=sf}J4md 1JBo:t@N Q6fڴ`7v znu0y˕^W =yŊ%ol_″ox\*n,ygDX{b Xt~ST0(?B`*0I jim)ʏc@G$icbKOIHf邒]&F5o)NR%yrL% s#(PL&싛2X-SS/)nq) tzMQ?~GDr+.J bVvXgKB5Z̬)me o#[E5dt90W*|2EaYt7̧ }C9lDk.*~d~; d z65  .gYZ7zXZִF! q]ŗXiɟ }@;(L\OQ3 ^C۔FPvȎSD7AYP$/;qi& )頋Ax b߈+Bp0HrKڶo6@41~,?Z #G"?WE TQ:uM'"(lAv59kĭFKU}Ȑ <gYZ7zXZִF! ]ŗXi%;cy:ӖU}~DƑ0FNQ<|Ch7yz3VM_`jw|$=o1#`YueA/C&VטP0To(h''򺕮,*ˍilzkXaprU &ak9\B-;JTIC{`+4q~^8("Sm6- Bzyxo,Rs'*i@;M^E'a9yPT/RyP&V24q~V;㜐D,_G0(t1 !+KֿƬX= Myx&q1ru"4g\MG70bKmQ>{v.}>Ѝ t)\3?6ةlp{!D%Y+u(%h&+A"{y`c0UJ>i,CK\7<Ͱ+o߭MKAF?Ma䆅`Ga%Z^kgYQBDLrklM?):ϤX &*C$;e"N`b4FP>~*I &]in#T_>5FVz||~֏RLO`2sJ!8 GoJ.lx|keii/GZykX^偒p#e Z1:m ȐWXǘAI~_uGh0J|碀|!|p;3bc 4u1.Y/٘GNu`eçU^\i?ep!޽.|5InSKuO #i.}\yy-+_<'pT>RѓT;Gn$`ZVh٬rftjǭ 835J4gX NNEkQf RilGҚ y T/Ĩ.3vIӬJKaXj|,F8|2oJg*_ p-g2= o` &8?Ić;>ؑ".2ʅCkbCSoUU"#3p TV&{rSyzJ:D")!✐+Q`) 8EiJ7oR2Tv 6tVD;S|iF=S\87E>_\Crbfђ Od5Xbۇ1<'[>_ǃ|B%6*Zb#4 |/uUGPq@uLʚP..as?yֽ0f\J* IdgE;#ԭ%PQp ܲMCkflOM܎2Rb%ҢdJqi͜JIc}.߮+|>p~r#x H`j{QjcHJbG3RT1yi =0J=ո8 F4 Uv&C}U?1<7jD +VgÔU7WTtOlBKubcIN+X'g\lɗ[/I<'SCȢʺù"e@␒hÕqM,dxBm0Re r腪Yo&Y6,h\@}z^VK4oP)`LN{銞MϦfg9nl4A#5Q$O0E-Жđ'9M~ɒ,~+@lI#Ljg<O^?0ݕi rOF.,78uuE :-=Jvw5ȍfnjk_B_nd4]uCJ?=||~Rw^4'(]Y&mM~NG]G 9x8NP.£>Ҷ$JqHypʹ FT~}9N*#tediHRb+uw߅d!cSI05lo)A3dȄ9-0  KŸOqK:uPq)Mâ8$c6Ay-0;1֬BOj %Z5Ō%loQ0PpPF{3Xab$Ynxs ;OZ !YN m;GެmUwTK^ y_ %*ڧdZOT+ɆR:|k-ǀԳL8 [2XMnjR "̸]lepl Gcd{36Qnau[gQBFye@nj~p o+7]3bM|t% OuU?p+1lh> ֏\!/e!kĄX:e+ B 2z2j9%+n9X+b_-K5y  ::0 z B}+ xgd*E;QG@ HY!Ff7~jiMObjJ1$O p\5_X^JԆcK~p]n /;y Qjs1˭ VltѥXBAݍ瞼2"Sh"v`iDzRZ xe7]*d8dujC@ !&-c~B\rؔtS{6^k&ʕiwht00f-swR.߱OgQá}"lsP+l)ajb/ƪ%Qys %e9Ft؋5-imBy೤nPŐ+? z`m$ϳJ bE^;tJ/!,4R*!o\rrty)b-G+ײE R<h1i syHudD:pRT"ܵ,htd(rs1< S isE.|B:Uw|zODL! H|C Ti7^L21K(t#P  E$@[yo'׍A}΅ |n"&$KlGu3Uj+]/&bU{!ޚ$([fhhKyٷʿ2/U&Ղ뛐mZ2[)%USGǔy*b6s?Ǝm? yc0pc6X~._cqf8guN2\·"ۭ(ٱgYZ3b7217245532c8dc038580c3f7415fa54327950b79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef