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  '\| w]CAVA_Automata:threads=2elapsed=72.950cpu=102.268gc=5.576factor=1.407zXZִF! '4]ŗXf1-/6vRZxY{"QhEA}ξY™OsbI0S괼A7%j&IFj"U?gUE+!ej,0?&K [λIT-Ȥf_TɑE hi4JxziʳO.E=oЀ3]:fa\yU% ɁմZ Y@-2/(^|jk`{Q2q]t5(μJiamP 963ѿ޶6މJ.:%uNvb^*:*|-C7[ 5h nι픈3Bn`xZ vV:&gjHσ%N73NVv!)``0蓓2њ23K]@ت3@ͱd2gw)"5o"+U/7)5r&f!aɫȣeogd[BٰYXeIUۗ`RǵZ &Q/:w:qztbmEBr'eܝգu5cSe22S҄V*bZA!`t 9oarg VqW{-v'x.3d>`7TJ`ߵEnGO4^:;Z)^NroٱBTUbq]wH*:I~;kU;'ϋ}m1楮}/0pfru^ςM:P^ZpTqNSt %Ϊ50cV"ͮI/Vо& ϊ _3TMb^@X k- `\D6\DxLQ@ m&ޮ{J|UE]܇)^ŖQ0612IŶHtAc~A`#uUܫ@ob4e8N׬&gYZ7zXZִF! W v]ŗXi%6xKdqroL7ku_DWieE5&SL V9AzLt>;r6S v6 ' CAVA_AutomataJ'Ơ;m15,:NY 3to8I #2+oיuSRJ `^h`"cd^_[Io4x;/ :-=R*;Dᖀ~Go rcsD++s_r{o'FR*鹲:~t<.eFр(r3m{[ `ϐ& /h`~׈lR/c%QOi) G~C2fжKcѤ'̛!ě| O^aB;FeN.6m=jy4\ɕ欷氚:[ تG,F @|$$L QN*# i\Ҹn@ ݎ3†~`Wj`X ZҊ w&(S>ۣi<=6_Y!;1aƤ)ZƻIj7#0Y.%H&dzyr?Ej[=JPP2N6FF ^ /c}5Nf&a 2x~rX$rhDaƖg蜮?Yy榣%MrmuP.Rj08k=ToyFyeN|i/~b 7fN <}nꄙIS;$v>p>nNHJ{ N 2_FG"03we#z8& ZaVDTK7LAϬhvT7#.ז옇r+e AbOJ#qF3sT/8JUqԃ;ap6u6"َW$gWDoiF_v==;%=*in Tl u,KaXnl^Xh Ss-DO`ٗξR2Qt [okX=5!T IH.-'UGHq0E:;5ŕlQ `mols6Z2dzkCw)X96CS-/I{F)v2c5*b/*\ Գ ȳͽiTDRq1'>RTu!~ԅ]LM9xJԢYj% RpX¡RO tOL}J*!W<n:clp_I(Z)O+uu?f~1bL[:4;6A,l׆f1O2pCpradk {sk9 /dOoq%\AЭ>r7Xәp(|6;ⴗ!;<@ ק3uFu"pp%Abbju'F;<0n= A[@0I2E}6\g2fiDUtWh \e@ )UoܳeBEc@UkObTFjs{QQ7 ;X&[?4sr UlBL䆵r%.& 5+>n@^2C!t?^R/h0-ֿf h $R\8>р*Qss$*/҂R$ݍqR}ļi5j+w_ST=0bȥm:m<fM("#lll%sK | Q"965:O% -{eE'z U(9u<j=K]uνfbzyFo/Y4>91ğeͲ 7*tnkQAQWDVR|)o^uZԼ7^e%W<S\4̈́i$C̃m#Ҥ$*E޹yP-:͙:OS=Vo/D6:Р]EzȐOOL)V:\\5:4↗&7$NFZ.XVf((L+DE,!)i_I$(~'ɲeX'=] 1BԇJ]劃-#x5R7 HsfS99$G:-1ڰ3iy=&Ep蟄u8~*l?0o|L*>= 9]ijLzhf!H0pK2Z_l rtװ?g6]=[xVk֧H!!.#"g#ʟ{\)^5;xsp`p1X%ةϺ!#Η[|O*~C7 hgɈ߻!*3k4uჇ[ct#…9lY\mh?UH#*?+@ 3w1,R~1\S9ڋ4lq4+Dߑ<D-i܇-P;Z9+sũ@ -כ¾ lam@٫FϪ[vE<goFWVQ$HTuocO&cI>ԉƧ-XA9YvS%T+z` 3/Z q]GXʞ.xG (]ꀩpFBwwHi9uP̔(yF>Tt[NVjR