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 5l + SequentInvertibility:threads=2elapsed=64.527cpu=123.632gc=9.316factor=1.927zXZִF! S<]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H*~e6PJ32b^qQ R]$_llc חôgkD[d('l?5٭X<HWMMij㗤"nq2T/&1<:,;Zm߻сnCdW6L3R{]g&)_-=*aK-(}4ٟ$YT[Q#)WBת# BzQdQiڕ~00 ?ǜ iq˸g`mf!S0Y_Vp~B K~Ѥ=os$SwZ0S\<+ }HH! ޞ8?gqWA`O,/1s͗}4$4}1m0^whVeH MU=`s:G$LwWL9-V)5p zakCAq̉'B&$\=;-{p1HU)|rqv"/&{{/ )]%e15aGu } \ؕO~wot\^'fZzжF4^]sLTquӕwl 9zZV+x6ganM`xAPɶ!}{bRwɡXMȾNTTd o12 d" @6NX\ uj>Trxou[ﳒ;,L6upz}nm'7; }JKc(WU7%UDʰ J ixح p1x+qwºZriclwk t>6漒9>9CԼrW$_9q3*rU,0ܫIL"#/?}P^&cX =+Kwj :EF2\Pw/-oM&ehYC : E%]!92tBJz]@Tu -â#0_X%8*эu@=.EMF`c s4[*%S1!-4_L{^K3>I/EGG9HMgx8SB#MԈge(k+eMd+ٯ(2W;>Bt MW?,tCp2 uQ~v'A/dnJJUkܶJ2|(@g=:\v^M|-# pjV)̇L rߐiD?\u{\%Z&2OH`dlC1DV9c]b6A?\M N5ºQ/SkX;h+7 <Ya&4Fmf]go/5-҇D@oLO_.Ҩ159Ώs!߱PH 'NΪ wD_]U7Izͣ`{`BSbֻf0Փ1NJQ!"uuˢRѬ`|&tn/KT6\%! Q`["~?ScZ J|q:O(EVz­v!WDv"R'IW !* 8l7mA;%(A&qG{39S ΜooΏsy?FrrV2Stv/=K/) B|)5oH?KFbV [C <0{r:mO9҆s.BBXaݷҙQa67 t,֜UlL"BS~q!{E>{ل"=6wOp(51׋ܸ) ]z#!|XE,)TC?>: u(m4Cn fUWU/qR}g'5L0ɻT ss tt~4m zE IuSO ô1ȕl,V*(Ϥ#W%ܣ_WFbj@x6<:uAe3ݚJ[BS$l! 6 6cR09+8udK#u= ^*c}=ݡ˴4l̢xh ie3}β٣:hX3L5^C%vf%+x5u@.ѹhᅲo/yae)vpϠ-%Ӱ] V0,e3RƇ}y'y'@!{ڔs[zEyx%e^ mU"}9یx 5 SequentInvertibility$pbp! G׮ e<OTFš%:h`9I.W1Zsо%KJ@ڡV)aF0c2{]1w4d>,o27S{5V3&lL^j0m~`%a|zWS]JI%d_tg ZO}?s`cuP1NG7-WG{eICG=>+-ŷ2s-xROUqrϽ0#{nas{:bMZ x߲{5Kx,h uxO/MY6V ). .NAoq|M68m-w_;X5õ53m4i"\S,yž 5{P:}s΅6x'$487Ai bf "Sb3Q;89DGK}᳨fD mRl :g& =~gԳcO!@Fz̍k@*K3Zl^Uuⓜ2"77sN:bLfRuhwwL"֛V ?@unT<& )[uZ!~ G˸]πsLbyz\S4)ا{! l; >1PU~z0mE"^C)K # Bl")^kW\0_ qؘS*9C'R4o^ J;|~nŽ#p fj&xz||aQS_`1}?$e36dupXL>'(ێVvYsGNhxh6i`\&:PssKG!r2`(Td*n,l;E7ד+^U0hJՐ`8#ŗ{A;مFS'fɇ9qzcDK vLmoX>8D&N .ԉrJ@ZaG6KkdU&qdvOAJ5[d|?-IN޾ .”frp;蹣GB(GNH.~lKp,ԶdHZYP#e%,b g# 3 T ۜVE\0mK$o9&Hב6Ԩ)^;gYZ7zXZִF! '%]ŗXi% 3;u5{UJ6_Fɀ^ }ISKL;_asU}WW' /R:­IL2y,"vj+ATPf~vV;hvji8J,'P-S ;gI 7Y$$}O)[!23CӍKø 2{UeҖoO JtT W&~!Kn٠Ss WɄ݁[ C9aEe 0ٙ,"ɒtNbX&+hMO|xEE(7ܣ\)TS{Uh|,R%=e0IP$]L kɯ_쪱l Vb_KN)g`)xM/ӵmR^>h̘VmؗBE8*U _zH`tZofe2p\S%8 .@\5_k_.PhmPcep{]0i}RD35?1P1Bvv;y0wx&3Ah,GD7IMn"OxW=;"9JVKD?R"x.If:"4{SE"o5Q|zߴ