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 P%d\ ] MSO_Examples:threads=2elapsed=67.785cpu=127.368gc=4.064factor=1.887zXZִF! )]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqyR>ظ:&ހ])\xJ)z\BzXR4D;QnTQ񍄗O Jpo(4)FI\(ٷ0"%:іݽo 9@_rVU;.dRe 5Eh)]q0$l6c3,y[=HUX:TgYZ7zXZִF! {] % MSO_ExamplesŗXiɟ1˦r*E$<Ћ *Έ'&`CzmֿdQhOǕ; 0bky.s`QTu+%xYo_SP9î: b\F4ɱgYZ7zXZִF! 7 e]ŗXi%;уk_?!}%KRYU4eCt0nL(C WALW@Jrh >EfM@r7mu=F0%6:DՐ4dcKo 6/`"agnSSx? z F7ˠg#S# 6C]?͊ szy/yX'ĸz]waRK-3\3#( :\eRG?_a>_]W"ډ3AU3[W'GQ`2[7M$-H\Jpt< CӦMu-l699p[AznBfĘ2%ĞB:D-8:b{Bo8q`Da(CU%B} n x^~ $G&ے*@gԌSnceAУ[@]pr*𺔐d%P <5<"+?ֆ46L[J*҉layR׺1v|c=Lӂ_LӅ6s$Aym͍tMLcLqAk˽Mw+)슢ĽV~"pP?9p-gGY@SC~몝['iO`ӱ zXXH|4nфQ?6nsED;cā*$WBR\dܝoX F04D41z ~sPV( qiQt4cӄAf (J٫1k(u҇c r[4h5 b ⎊6%@I[!UWZ[js-뚥VRt]qҞ}m K\х~ @7$󸿤<7Bpy97䇨VbŢ /d7AA`,Ksqd_ ۠X8{-ݼk 4F.czͰ^3k1[`*F/L?]b46Q7f F?j5gDb4h^ \iSbYA$ 9#%M4?^%{996רWf$lM~-ҿl^, Yr FIy3MTV<0M&TS%b&7f>!ung(wU>`3._Wv1T_Z;n:#SaN/G NHG_#u1\Ra BcHI_U8+-Fj&^ >-%79"o]hb (qlblƴ w:?{lXּL@Nc}^5^v84iMdRqlw4Jن=ݕ<{HW:U-\|BBr<$>HhV]ͩg6)p_#4Utеzho$|27|ԟ UeнUIv8:!pK?1^Z (a>{{3ph ͞{LQvXBK4E颲A=AACXJ(}n,'hST3!t*-R>>g$\USa_K$|T26~뎫WDϨçʞulC9roT:f[&d_##>>n*9L͌73M߸Zעy֬8}ykfn26Dَ'M!ӑK^Ý? vPo@If( 엜miz N;L]n+۾qx9p| \fgWC4f"PNP7P+W~P^I3Z3"`\͘A\- 1iMNU˫NHl3N5d5B956ۿ V5?(B>ܰKl褼ͱ]*Yz/(;]K*WuQbXނanܲ)[+yeIis1/m ArJj:*1֐]1nۂd|ВuH3ZeuNAr|SI`5:rE#Oi@}2*ƒAJ"0p{R.v # hq R"]BNE:Iw @=dYC?h(PT(,4t*fPOu>%N{}#ʸ1Iأ2/ǥv37i !=ڥ~re'>xWI˔V)*az̕!:~j9S9v9؀ '^&ʞGj.ڟ0&Ӿ-1סgЅ!qVLlfFUDε;HQ^| tI8{JE$}0a҅y"{ uoy'5F2u(3suYQ":J^|0X>s/p}R6Υ sNX;04yY-n\lZPXH[iJ/ҷ|chφRkvq +~v,;<׮H޳Mz4yϛu\!d? !S0:ϤGkV/Tᎋ ]0 $Bwn6=4afF^Es3!n8}lNC50}ΘwT 4? e,dWNg'7qF_5pAAnHg9co$>Ne]5WmRݘPtgccaRlױփ셮xoxxKqʿyd4/B!Gň?>;4ؚzElb`]`BwbrPZ6-ɰuXuHktKVX􈘅A`Q \Rd]?qMyÑؼv,Ay(ͧ)/haAk\KGk`TV[K^8wo5 !iKhy dBvr {2Hu9gYZec7867392d17fb0a8b5f48e5add53d161e0b0c0679d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 e09854ad0af77ba84aa56dac81614e61ef4aa28d