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 % < ]]Regular-Sets:threads=2elapsed=52.903cpu=86.256gc=4.060factor=1.637zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kl{&5 Xu@AHN wffh|Bxco n+Fb|֩=[ z=S(W+Oj\м>]Q ji c StAhj[سRľqOm}x>; ޢ &l6y*qzBNRIX#$aYzo~l·s0t=;#1' % Regular-SetslY}V8i~ 0 LyQ0e_W᣼| 8Xu{ <9 GC0WX`-A1|ۿR7- D2ZЧ8jG= eav6ʞ ,䤓uwx@scZcd4_;a^ ]fퟟɇ&*!=@uuµLpl*EE#4\ylg*;$1#v}m^tGhI6 km-/XV6ԴY$0:SɬJ442_pДuo2K F3xJ. m~."_>Ճ#lsxbۅO`x[9_k.M͝% :g<*^;Z{&-hHf1[O&-&`$g|yUEզ͟>Ȼ^5:cd$9wd^`BSiTjplJE$!곰ndb;ǀMD.dR; Qއ*|x5IBfg+Bc`)'Ʊ' |PN9AlRƳ)AO%?,b$ ~oXJFyK^6E&N*U@g%&a;snGhR*,[@aۂQ,lr۷-9ykcC .gc%7 i)5DWnS.)g AOj1va&DFQZPRų`ƈfF!k;ёZuIW .Op Uk1բ:iLNDDtA4L)'VKД@茞ؘjVNa)!j A|$d>S\ctqƋHB~S ΣL+r;TFc@ ;yq|9$J>Z 1֠sࣆشo DU]@tN2FUJ;z[C_Rڄjкgr9ٍ Set~ 1#\/ڮ 5}q6c%M(z N[辫<]J. Qsb#;+co+߹W>u lf(5<FZ Ӧ#+*x/q >eLj0Q*4 sڶRJ=ק$#ޙ zr>3U)| gp>dTU.EU"l§vUf2Mn]wFT\Ix*yjPo>Zxh$XCT^kɼ8i _QiP=idn  Ӝ>Q+^NI@ Tg-?LMEz)o*Z6S˸R;%M;kO|߁7$dPߋEU=]3"MC˷%Nrw@G ;A;ED#QC)?աQ|fQq_'y%egYĨֈF߆Е{CWC #qb3MHa*f%Gz~䧥SO5Pְ 0P%'`*֢Nc81ܾ>obM2ywm׽6h矐Y^AĘO(ܖT=DgԿPVS~1LxMᡀݹ\X,͌]KPT˱/ຂPD^-V`1z nʁ#N)NaEXghޟ8Ugv Nt)fwыE;&uЯC\$Y*6TšGua*ʑ!r:hұ@b珸UB%Me&Qn8IUThWCլГB-  P;WE~ź0iAT \,2%~/rܜ}CvXJ$x.9:s!пIR",JT4Mrscs-Qhʾn|=M?l?zC~&_w_Tլtj ۝<7`٬JJE|{*'"2`4`q%pA1v?V*8c Вe$'"f.)Ɖ_VcvŚwOp_N.@ԉ>-oAW{֬ügS7xJ֣\ϹM$3g/ cޗ}2.4F L{r3x(KFHk@hMbs|4b=qY. xǀT<:\=^‹-xBO^eqMG9v uAlQ؜z R|SϤ?igJs9;WѸ^F]n<:'ƽ.Dx ӗ)eD&1q <% ]kD/aZuSAR?P,|} O*b IyK&j[#/ kW7KBsJ`8oЗՓ