SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info #dT| ]S]HOL-Algebra:threads=2elapsed=93.071cpu=174.528gc=12.192factor=1.887zXZ ִF ! _y ] ŗXf1-q恈\T,rB I|2C;" FEIL+2i#%f|p!f@ݵilPI:noiT4Q4} liL)ؖ ;@bqQ w7CHC<ʒ]ڸ[r4WzEXT }⮍q2[ἶ{ =Pyh¿a4e0ox&hތɅ #ǽ .{zlJpsUC (~{U.Lm&8ɯߺIbh/ƾEs;|6v>Gߪ6qJtԗ8PkΓRF # HOL-Algebra iN@{dak :jL렉x]lO{UK2ܙr!/r0A|:Ys&;DrsShЀwsY@M$YLZx1N |Q,p&BUV`ܨW/͍*r zE\'9,9PnIEL} .,x l RN&tvF&j-y@[<+d`w'yjVE59DgA1(>-%S( !?V k4oƮ>Ap.y\|D6eO&q*e;HDC2!eN?%gqG Dk5D*jw H. WhB-7БY(t2 /8ʻiaWY*1ƻH9M¥#.'OCv*8[A)g KDE ɪ@Z(A%cLrgG ψ'nBӯkoM_VYXT䱑% RS6g.Z>A3m>JLXQ|M-|;'=9gDb!K(]ϒ}խQG:`ϒ^vWC^w-,Tei7pCo63T-p#$:uܴRC,Gڟ8o͒'ACT &;)rޠئIide-y1ڹY&x%q\Qn xխ zBp%OtvIXY;Liѯm>ί-c2d.% S(X#bUWomFYt?4\Y`$}!#S#m3mbTALJXC2<L2#X <?,M#8z9_Z~5a)}ZCYcr WyB~>Y{a(EgY8spy|gBMU-P{]B4{P(<ĥgm7v0G1p'x@Z(=wuW+8dG1*CK*qSJ] As#wsok35:\jح>ڀ7sC?($Ϻ%7=&ߢz_~+l`_a3bND&3)eE[KVNY߰c7J@1ɗMxf4K!?P hԞ>[UF*8h`MF>UpWs d#3X7Lшpc%fC2L Ixʼnǘ >J&$%/|=C@ KϭckK=m^=kT-'FZr駧IE.) UlBN@$ M6.ê=6 t)XkM^|LHy+6\>ܴ>Nl۞/7(;Pap(4 émfUG'Zs([8Pk! W/w,$\cF__vmAPI 2Xc0F=e!CQ{PMj@dbz17T6N|"4Q>r`)0G$Ǧd({-{SqW ĥlSxKd8w&9LFh4>bW2;[4v/GSl- uZkw-CP\i (%cl"w Tu_\qMK[Qz;nh6=|_g! 'fsuKU (nTc :C@}V+y<\5=a֘ƈY%G+ah-|b#u% e(@6X>{#? 鼊chB{c+Kl`jX?;JJS*bjYM~A6X2mzsY$+/04Kom_;rf<:)ܼc ͒F$8_"p1!T ݝ p% @]4lm*X]Shk wd-R Фg YZ7zXZ ִF ! ] ŗXiɟ1`?#DaCu8g$횓|,Ga ߓ67F
^9}GXW k1hЋU:ċbaQLD͚E PM(%~6po6co Y.UC <{<ꌻ(p()6;RSً*3DĝcBP#*"~isq XU`O<뷵.C>Mݺf-[ [Eޅ#ch`d`&.#`}YV$,_w(m](vesA+0Ù-(1Orr IDWrPۯUc I5 fg YZ7zXZ ִF ! ] ŗXi%92v9yJCN^͟'CPAÚBA]HDZxgI#2G7poԱh}nuw}:{Xuo,PMKa,UqH4 EWJ/m*'iWިX.TH@> |CM5(]Tİ0UOW]͂֨fxFٕ.D~ӛ4n/*1(gK.${dH ^L#uD=\!?"mL>- 5^yx0.QUۙ2R~r&x ck>>61{c-@X;ph/B̋#lW,O .%oBBɀQՇ#_&~L+<Ĝӓ4ۛ+9@(LM&9לPUri\nh|,AӢԉ`%zj~pzf~1@ݸ Pcv7X@Eyξݨ<?\Ol՝'E֟&6~uB"-aF/!gZ:_!2r,<7W#u.ӸT$*isVD,ٲ.~duk};9̶4蓰"[.z݄PO^vԿ礼h5ժ+a6Z4e cxdfpyl:&7+ e/]?^Ո>< *q%S8][)K,ym~ۘQ|Ns$R7K52Tn8/z5eX#H ;mcat&fa: (h,q Y@|Ϸt0Fy'%+A[LS2Qlnxi[A@Lj9D6 :Ks 3{aPWǸ6]k*W(ӾզqʋHr fy+yW\]-E4a&&6k1ʆY0g_߸By#0u;joI[yYG#X T 1A35q:LS3B`_uF i;jJomw7:K?ُz3 l =0TLR vs 2+7_5M ;bQkyB虁! Iw߸7bnLofCv4l^jhۅJUKQ]$-AF@2n,?,AzHiI TK_