SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info +/ D S% SDS_Impossibility:threads=2elapsed=65.640cpu=94.444gc=2.128factor=1.447zXZ / SDS_ImpossibilityִF! F]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,)JsIڵ-Y(;'3 (YTb XqJJ:uL6 ,&fe[+˟;D`WYn`e/$z{ D?\o춾gm] Mηk*+ F tvti#>Ba"INT#yOV.? 5ޝ`VtN^fE` ?#sץ 6ʕ9Uek۲:%F!w*I-O,kR]rgavV'ajy\"A= r;2cV#/ҘN%9y"hBNFur0( OskLBUp8^JFAk#'gj/؊d zh8&14ΐP!&ê@W)i$UUk>}(Ikc6Qm$/BiT>w3f0 8:n4.EAowIa٤@D9.RO_-)u9*;O,}7 {Ǿyv{4و[B"/i \̆2Y`Mʕor#p<.Y(C2w-tvPv "//1e\ vvbހ ,E@ﲓ' FYZT>[xfQ-I1I.gȦ7R&늒B}=G<<QR"%)&8nGiMw1C)jmBTVFۘ#?ҐXJtIEj%:prP XCcrl!. IƗY4Xi;eV4̯[UZ?'MmQYσ yWI "͝6OBF̲-ha~9EScy-WkѳD`8*B˗MRZ0V [?ksˍ `Ur {MFd":RD7G^zy@gSJ6I,YDw2V|YY|"CNsx*l7j0G3ys-1@&Pe_ <?mQv!@;,Wp|skp\-aJNLCuj[n,ɾ 4 W!p]A(]vm \ײ* TPW Փq6up"JG'!4/s,leߗ|YX<: R<-vy@".kWFm"]j 2,xT 8F0ׯ(&_DL j*aawf|ڱve *Vc_qTY=us:8JWc&,QPo̒WP1½ W9:Φ/i&l,T!#p_^IulמQ?)KX@SdD>KNC@g0@)D||P;e0zF;PkEB>tS"N䡡8BYWĽ23 hN]a|&8z5i Rv1TF!{t{6Se1zSd?&i&hFNiڜf1` Lě6',ud+ƒ PSr}gaZqɬFzȑJfwEF \/ᴯ1H[~<GGarwhNԲ:ϸϹOx*Az|s)B [0񇴹A5*+tPB4+KG [,;ui .z>ڃˆKuAo:"`ږz&{ zQ(M" (uؕ |Ot/췷WJH-{PIAIcڲ `q5[іsѩGq!f\t WR[:Ȅh5ƅ(RA(ޥ-|Oyr9/4CvUě30)}9Z~MWSAw^вү&?nKsR_3"No.O)RM\&a9T^o4%exHiyv)3twbhF%.jz+u|g[BSUXZ5(z25T\10b~,(}2Pi=?;wX535LGƎqof%lͧ X&Ј3?"I5'7w:Gd,7&DŦF7h24 7VC+P"sPX; |>atC zX߻MȦ| c 2;r0;9+t&ؕX#F._SRgM5r"~scO"{8ݏ|N\Adgj* gxjɌٶ;1_pݪdm_cYdMZ8L,pH :9$.ndDDp}Fj_گ3EBבhH7ǣ\zEQخb[8@PntBJS M|4-kqaON۹WT*h3)7./_