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 ##N# lt ]S List_Update:threads=2elapsed=123.624cpu=214.184gc=11.472factor=1.737zXZִF! m= ]ŗXf1-/6vRZږeh1Բ Eص8(lT8&Q7XWL0HïXW`@&cB+emm-Wpiv_9'ZxR*Xߎ~WҿEd8h UMm/±z<T_\c[!(zl mL9 +AkQ*W{3~"]W8!bۦgNUҜO;8@X4[;c&JsmYMRf:Nii,Æk 2~of-suc&mnM*"PiŻyw|ǭDP}4&]hza FϒhɃWqTKW^?z%&'x&IQ\Px!Y 72j{px|ƽ"Ljq?j$jgcc1j JF{|!XY!ΏĊ("4US+JnAss+c6:ila$J<$2f|1H s*C,V7fZ<#x`QĻ8Q>jf!sН"9Kf}_B<ч 6vF8I4j@ l'ӕ%$jӿmߊmQ9?bbr=+,y *Hi\N8_ 1t%A6&.%gen7-Rr8n68{:܍<[n%OtJAleh;LETtDz a=G6n5F.`>Y2 Ӊu䴽Q; E>i{x (U`4]`ylf7|!xc/o%_ސ GX)cA(!c@ĵGhB8dJaZ[BvH޻E<}o9H 1 `W0x' VsOGW-@&=kp|C ۻ1 Fd5{[n7b/p&nT9@ )T3MOpzD@\Ɂ{6UOⴳVtC+Wj5(⌅HzB Y~߈2l>=RbP id]~d7^}qG4@U0.z~])'"MJ6h^ܙ#74ںeT>ۛ% z7>ufߔ.pFG)O{K!>!*u+Ri@I4˞ Wc.b>ϵn(X/[0O#`cK/[I:Su.c4)Sٵt"Ow—BcO]խSm? 6&o~zW@fMǭ=w3jA:\*^D4Y3sbi X0$3Ud}ۤtP)0<X|&_¬L nI)# # List_UpdateQC#F(0ozL" +j|;.tL~hXZoQQ&G[`_Zг27bji7av:jL;1j-}CW2-3ǿ^uR:CMɊǫ4eD}iNCM$_"/dlj͖}$+H1ŝD 06\j:8.]wg߳퍉 B~T<3<فRR_27ZzX$XګOjXO+jC7M@kTB qa:ْ m( |lG28;`oQoɒLBbS ~z,m-7E\aѥl .M( mOځV^a-, ɮ|PNT_0Wj:c(:z)խ{?vUYKY26SsڨX4dz 3qHPPG;ck,Iw}rn٨B?/ctYʻ. x' Va?-5Aoj\xgYZ7zXZִF!  .]ŗXiɟ1˦rXs=>HXU0Q-/ri@#]VZԔ^vFV3wRTzSǾor893>|W71={C-OL6EB*;tQ~+*7Eښ?.la6K~3'>} <N0s\̼=$|GGIafBskZ2d^S$D~uFD9s g (^\sS_EH[ Rnl{ QRNR]:1tO#Br /]BnFW݈&qyLlJ(5it$a}Ї[D˝kj tCa^ PЃ@#rJ&pZhGO/`R@@+%!&h t|,FeEQD eKĭ<R(o­#=Lq"j^ hjoXc]EC,AjypmC1fygYZ7zXZִF! \m1]ŗXi%;95:>;?-ΞTߕcz$miB~9f-0^Ն>\Lg7M?O5ݐL筆PN]>,0 x[ T2y]t>K l07uX@O(RhIJV1CR7~vDvXcOԂGn|yi$eN?孼>;4Pn cUiypl)-K6+ТiEcЯ!q彋R/!G:]1:Lc@8* ߦS'or /o\elG1eF_5R DFDIg/#6Od={]{"^ [(앎aH7 O1ćsh⪘ oN_}GUӟ5"LQ.oZ:`/+oq1 Xm:E!/y(Nw2ǁ .V"-SGBԭ!Z/ f2滒x ) ~d^X^GW* JӣЎц Iq3؟IDE3,Lt,RBe_# `۾u݆OL{^b ޽d. x [~6µvB {DsWk?W8--ZLCJ`MqǑ3pq/dv囟F_E&lΨ9zxE_? /#`߻qWΆ:kwfsG22!"y9\θVG#~Scqr~C3O#dz h"jX; d'&H&uBhY-}it{VArĠdؘG$8yZC%y]ƀ#$*t3k9-%NR*M<%#85+9GU.x/ߴQTs/iZ @,|EfjuzbqgEH[.q@3۪~ZlΚh!"肬VΝfDNFQ%]Sg[{\Ϗbz`ػ@Ly8ٮ+)PY 412C #ª~^Arr>e=7 I%?X xf)"@N+ (HF`~&n&9 Tlq)fN}{Qu1=MنxV=5a¥k>'$^=VE6/.TV6eRHEA 4\O}JP Tt@# ($]o,`ijRз`rTP۩vc4ֺ)?tj*o?Ta`RMrBu8Ԛ; Қf3~"͂3QOy@VޔbI DB7:ؙRDxR_zmrBt9,Ϛ!>~~CZ 88 {Ofwmd.]hMO2 lB]0Qd<9+ [88[omFDBV%0CF@[^"]iɴ w/MŔAӻ!w-g @uWԘtIY{$,wiq-tcsy?wOiƐ('D48RrLQF)&Os l uEQ5||M}{Omwn!J>5@uEm"_ {2?;:/znޝUjrA(sӊH9Fe1#fNHw_~6ɶ6lBz=:4<&dKts1"YT0V\ht\!W:G塯ϋdճhlBn^13BjjRx9fb߁nRK8>7yfe4YJjza EAVb!GcKWFԯ PK[?gKDw΢orxbЁJYڄFh+;7L/<CZ OP"'ԶZ.m\QCi)ߪ֬MѯFbKנH*W?Z,~gd(ՁP8  <+#fȂB g_ M5%J$V$ةim'W3nxXt_2ZcMg׏ɓ߳*-zƴCӅ֊irqOgH&chͣlb1$*H$ʰl73apaΌPZrSi>AP`ۂJuuP^2gx&繾ND3[pc=`}::۩Fjf>'|zP^#hR!h#MS[F+Ykrg,Btld@͇/Fir_Y1Xq{*+H? %hlc/ Cݵ@[1(N5z$CO Y#=3&ffiyc?50cD7@ F:pZi"_I.}4n3D V<=CqB,`W.v8fH6j.3ϵR^- Dʟ߃ՙ']<1"h4ZpQIsd/P\,b>5&68)kSpd>!ϘwھsfO*lcQݔ{.0eneWj=NP z/2'S.a~E)6Mr]&ʒ~1 J!$y gYѰvITG$he[8:ngꌸо݅49L?Bb.j0>ޓaʫ2°[yp!RB\ 5;-w!;08tR]Z90GCkWQ!f$F@ Y]xB%gs!9><;@DHxm\mY:ށ--!= kb8de|iK#ه۶G;k|ϊw:pyƄG.w/$ቿ;f Y2ggw41BE6<$R@yy)wf5z|rh缔} ތ@8&*Ńt06{ iܿP~% +/Tp.*+d.lSv0Gkj0,~v@2ŒlRct5/i,Xk%jJ;R*&c߆1]oKn37Ǯ)_Fo;sRh:\Й:;ԅ,a(>jl5:$H fg Md$oy3@Zx6)Di*v=DID4 gYZe5cd8843d4f4249e1d3f432515806ae52385a95019483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 65d80b9f55bd9ee9c1acb629a585b7cb4350661b dc3e076957ba0d15098d6c3414296f517e3588b5