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 \\!\d$ ]w Call_Arity:threads=2elapsed=82.076cpu=140.868gc=7.024factor=1.727zXZִF! Jf]ŗXf1-/6vRZy_:8/ on6's25J=X ,rVgz:K./י2gy[eU\L ~-АrHP䪊Qp4alS/w&OD1s-|я`;\xHR͕@VgfNYC;~ 0;M&3 > {!$$MȰmSBM3;D$H(8I33ճ/әEYq~u/."yiRbSJ߯Ys3u,8Ʊy4LT/&Ȳc|,/E2Nɉj˃xp+|qC8 睝2egR6uv=o'<7 llv퀫`2RR8$}j:!ѮY! [eɍ{%"C@b-QdFяIp9!ynEs8qճLfËh-B}3$WY| {ޡ#/}(uapwFñwO*jd+W2ܟˈ-H;M~|mKCɌ2ٍz RdjY}P1H.m?I vHxuNl d( Z9ANϴjrm&Gea2pžHq3s | ss 㡪^uOȜna9;h # wJ 8i?-L!Eh t.ѐV\B@|k'G[6Dn]4T|2J:N@pFyZSw?E)Y'ӥaYæ6F>;% _de—'R>t\$LHzz]'L?o6=Ʀ7fsNG4R&MD| [E 3AFn^fa.迒W&;4Yqx@xٜm|]2WD9k`ڧMC]rhm˂bu=SG 2˙wѭ=gp tA Kd}ٜ G7ʥȌYB1Xpaԫ(3:pdp";$tyàjs׌QȍzcGO,8lW-vVLY({MжmRa>$]m* Tʮ>gV{poMX3EUh߱xKBЂs n꠿y.XH#Y?N"x >}'wͻ7[tUjr32[d50g>GQpt}b0,+"w59-tw*ʯN`%4jxޗfش OϬiG?B ot @]{g.Asrg[v$YY;kQhˁ[b9 gwG|*mZc5Gra '6&xΫ}b zp?X0yMtA _N"!a/0 B`k9+c+7j$t&|0B`e]qQ}_]UIR!a7]ىW`'JhLƖf)(a`ipjǧߙ#u-?i3 b͋]C~y Ű=݃pLPK0M{.LŢ*xgrUAiMڳ:ϙ9V!F!D=E;5_)k͸-c@Q7DzL(,E>j2ńdD[%Kʊ/9ݤ2Q]gHvvG6Nu7L$1X'R}iD$JqtTE.V"6}\4}L2A}'д]vxqtDA2!rʓ;z9 ķzfraP' o%b\oJ<e5CD&F̳2u4-PNC"*juvyS Y~ϐx5"p8kF~{֥Ʋ#yVC*y%.Y)C0YO5+|TXNy@  ! Call_Arity`nM*c9x H Dq:lM@y`(i:φS`NeuzAe@Ӏ (Bd"낦7S~x[O]!& UO>5d=ҝ>,8>xʗ.d뱼g iz|QJ w8|fGK;l*,f$3׬\1)ceMBo>¾1G#4l&2YfCwoAnrggF5$>ŋI02"C&IY,> cJFی[cΔ5#9$z/1NNn5`9|{;ִ -d&er޴\g: Ku߮ BbA_)ƫX|6/RBT=/eݳۅs5 )ڻXEp1;BxJt>G-2Jc /zża)%ׂS[[F~^CD%KUMU-N\t- Pawer_yrǑ,zmہjyy Dzww[qˎNH/M'Z9-LE7.]n(InX_>,)v,k9 {]4?ք_qm9ǖ{U\/cVM]To#կ_n\mMSC^x4 Yn Prr(װKa91ߛ *u敚 I ys*'L`tS)9R4V;_<˟w)Z!qVxKX޹@lkmo)䚂#5`9dR8,My"[Xh+6tR}wfZB g?d_ NLؙ>GʴQMz^ :QjΪ˻Ϣ`gCK&P`ڐيi~ i4d=ݻ) P ?k/it+kqu)!D_sd6ZL yP.Q@,n#S&qqE82|ʓY%!y -'/S,F/hcFM6?{v'i! {,k|/ ]uH@ PH.QX #G23:49c۳[1oh[¤u֤ӘT:}9:=,9RXG4\> X `䤇rɬSEګ/OF#˿D LS%ItGZ+JOF$hE$X u88[Hxj/Y<%?:=*}ם@q>#$PQ&z[,NCK/ n.m{GwrU8eҌ?r H:s&5_t+րWr{0WKSaE^!_y̢d#8Ʊh>&9YV$ka$dA'Ÿfe9a:oX.c.{:*L|xR(eorM}B_WL &Z3v褂a/A_'PK8SUn*\hW/tzrJB*|Kap* HnfRig0wgJU}C#@xvj.U؇7_J%veUrD!s؈3$g|Ϥ=3Ak#(J؆\4ɪ|]BO.7=n($Xoj;HlxAxDrNzpl@ OS8IW.y(þ9;o Ix)/XdұlN)]qvqfwFi:ȹ8Z u[0>b>!;KՇu!sX݂qg_}6gb5o I.K1 K/֥1 a7w%hs$&, \i%G>=RuHh$Q+h9+.lWNMd- S}dV=B.q&vݡ# /w>6%J\` VͱNXx_ȁ8o3`k7.pW4 os/@dq1&m3274"RӀP2%g nG;n70"mVϋ!(أš]B~$AZB RvE`pLUFjL!$i8]NWybl@@gπ8n l&[yexAJs&>\qs6e'jUd$H7( гΩn?\eױb6grJjSH:L? Il#r! 'Þ=]JF퍥S٣ Fă@ ;3@?yaܬ'棄@k=~QB' Yµ?G9c< GڝPsFfrW]L݌ )X%Ғgچ,c]q]PN WHv2M5A]QS/W]P{~|e8g-ZU Ԥc&G۷GT6/~CX'/8qm$8743^");rEҀh:@a,!.5Vm_"i稨,J ToYJsKtZ<6du9LiX9oW9|6 ngt:$V:RM?ȫv >z-NO&9+'IGG{0v8ػVï{hjł"u/3GK צRh3?`C Flh~_K61`x[E;;ǣ3IE!xK-#۾e˯2p z_"@h{*UMG~9('}zx2QvhMĚ$͈TmI<3Q e:r QY6uS2w}t4!Ȉ3 U_>z>Iy*`pp]5U@hrw+7ߓc^Cm-YUlܭJ- #_gYZ8a2842c95e8c7c47742b037242895da51562159fe70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f 02662119c424e3030c6017a821a6c2b6c050602b 89d8c9531de4630f6a068be987c126a5b5fb3c10 45b3d4bed92ea0219b33b7dd76f3a99ee5531b9f