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 88=?, ]]HOL-Computational_Algebra:threads=2elapsed=71.558cpu=125.756gc=5.108factor=1.767zXZִF! 2]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p$_J3A0ݭrjoQ1:k5wdGT4E{I %@:1s*$ծI{v3:P ݭz ȟ,R[PۆN: zpp?Tt-B{XfX}"R qœ\"SLaJlk]ܝ~qDk|d gf ϿiW ɡFiq LR"m-Fs=_EVcÑ?2_YriX'25qV5s<"cz?*8>^rX5C}'-v+"s~;H]4q~>K ; it(9kpeVDfQ28ZyxkP ; .-AqS.=B+ ЮP3rrbKkD 5d-O#J*]>=gK-@^r v̞`o޹U?)#`cj)6m,~|6;$*0 |h)I6rv W¹VNz/C`)ͪ..oȥoO ;del'Au%mH PUt} [lY<5sAOݫ-Vy*yՠUR?BnfK9#s$ V3\9 &ǻ @$'| dsMgYZ7zXZִF! .{]ŗXiɟ1&$ϼ.K>Un4> 6;ANa`w#~Yyl=ݩ :E3&H8.fӟ*9W1T`;kvg[lۋEX? HfjMJbp[o^vDxus_x:+ +X0ff;TH[.Fr %Y@jV|'fIAGdKoϳ?VWVؓqib65!*>JfM1|#۵\OfcG&Jqf_;@ğ k\G~*)F^IK:Wnge3h>`A)'ro[(CӋ1lC.3](ͥ#)3g:͆ Q4tE`jDL2J4z%jt:.pq}vI]u GnӠQbkTE(<:ݔ8u+p@ q逭KYGqw=A f+XCr룭spM 7 p1d[e(xsKQ<#G^- 䌥 cO|$ą' ՝fO~$\qQl5GgѲ2(2WC|d͹|֙ȿ Leׅ_PwjҀ-s'u s j6 9\aOUXQ_Xm[ϪY-?)@?]m_#kmVߍڥ?T T༇y;¡p;|Ho?]vԆ! im8.x)w6]%ȓ?[+\Z\K_M~\XBŸOngkXpפ)q"E2 ^t`ޫQcx ~HL-y$-law_T8]s% Ę3I@yd& 7 tlVz޿FKE^VuBQG-C\CV-dlxhA_R8Sf5CxH\F{ `ɰ"u۝*|O%6|p3XV~ zˁb uv}$(:̅. b=# ZQ(#( r.3O;&8p+nf/Z[F^$6yF RѱYX/!3rE;Z[, ghcv>0 Zczg̋qcV`1z}'sZI!/sb\Cm:-$Uk:+Bv):52{{.Gso+|VK'Ufc۷MFDaukhNBp/zf}Þl9%:8ՇAF-5_R::C!kG,}=N.tYDƑMl+ۡg'eZ>.Swó顤'8ÁދU8QZ9+_qˁr|H@ NO#,8p/mÁ)lLkv%MO/6"Nq.Apae thmyOf&=31^:GDipM W0qʷyJ4sh.Q1Y$`4@p^ }T[qY1]oqjϰ')W֩zg9]:5<*(1Q"^?CuSĆPy Ԁi '0QAX !\s:2ϛzvP%ih[lV22%&?"4d&HP?7 jiJm"kmtpٴG(.&`4}rIMa&2 T3x{/ sq= /@0aЪZ Dzl?#fGOje.C_zi^( ffrV8+7P4X D)z獄;P uѥ``NUF-N\vVM&4K9J((='a5i6:!9$_~rRkI_h#J CV"ѫ(Y[ hsRE]lϏ+'2**o(fC_ Fk$&p]0FPk[8S0^|WZh.0h%݅w@:$4Dt 6Nu]bPcUU" {tڣ_;V8{*U1X#> (bUU[5Gj%^^WX6J\y LvWd{dSB)KU/v^.;!9e{OI$#)oA_i>S锄^o`25l@AP{)#5dR#qmt0*f$:oG5!W1; rxVFpO2/91"!%l*:OHڤǰ.΄0@DRK\ Tm|Rhuy2ZL,,?[|-=}A;3q nAAJsCx:pDё8gJy\8e"yGjTB:I^1a"|b-X7\5ږngٍPeMV8\DZȺ4u#sۥ8o~ە$ kH}Ѓ7g jӀe Əxa`$ >!mA5 H90CX. G,B'jLF7M{KB