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  ?d44 ]]HOL-Computational_Algebra:threads=6elapsed=33.263cpu=103.904gc=5.240factor=3.127zXZִF! .]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(ʉ8q<1+ȃJZH렌D=쉊S6^q= ? HOL-Computational_AlgebraN <[ I S 2Y22;/Wj"HOKVݘ">6vj tJȳOZmt muVr@$0Gd우k>P7'~D19 2րNq'!E~~x}BrrW ]E/gYZ7zXZִF! ]ŗXiɟ1΀nv"l p#vu -"^dT#~]t)>f6l Ibfj*#zȢatEʢl3+gBg]q)SES`FӼN b8[Shqk҅ u{3U6]R^u+К dB/rt0Aex#ǯkkl3t8 W pCrF\LxUoJ 89 gYZ7zXZִF!  ]ŗXi%;}Ddu {.Ȋ$Δf5f{8*c jIЧWu  2b! V)ҳʖ=__:\fof@ 7ӄd""INܪV16^_ tQmni1˥4cÎژ(*&%XmwĿB,aaՏ/A` {V[&]<^f=Y(,'29\$wT" -ә~\G[?g)&p3MD"68v{&nr|zSjhm)kk# Jd^7bU7mW|5] >wK46ؐ `޽eά} Djlj\}aBv},BQ` n{Ęjا*QO-c.{֋b,s0FL~F vBVP,ϯ*vOi~4ƏiV? |̰m$,%⸕/2[XGH5]7Gu.Áz~[Zg°K>+%-.ySGڥ ),(\V+|p"[Iˠ<ȵ)̂W< *u@~2z,3OlY{bB-maKuk@-H@~RCWCucZRDAG̃0wہS gg>9:M$tTK>qDkh6$GzA% 9eShxAsx!"c:zyN*^t)@":mR $ShټA@O=v( FɄ5Tl!5T/\!/'y1}0V( 6l1~cIւv|+Y<.ԭ.7(wUqxbGFynkw1g_ jG,3gN1) Hb &BɮDl,e̕;TE8z%O7/-poɴxe&"9PN7ШȉpX)~pyKi=w}]zٵ B^ʜe*c!YQgR.0upp̟n }sDĒJ^ΪeNH,ċxXxZ/m~sT%Hdjhjl8Teعga'KMFEKi9b?fynPzPk("F^2eS_'-g9 ʭ/fo朎3x~*&z`~5[\⥪k%)A<E~M(\Lyw|t]Hh|RX͆X]ʟ)˒TKg?֙VeC5ׯvb짺˭>mӥ\4i^t|^+]p9e~"@թhZ,me{tPS&ۗj-7"r\ˆ^B % q$m)!BG[1X Q>6J1 `Ɂ|=u}^ܙ T^\1J+8R!0 '$?"qeJG5oEx~TmM rl"Lz52m,N$'" @`}'nR:KyԃgYZ13feafe4468996bbc03d7fca7607eae4d45bdcdaac799521742c6a511fc6b752309e53d5f9492760 7d1e272668ac77c0cb149e8c1935fb9a1f4501b8 1ec5b81d09e4e6e45f56eac7d937744404f169fc16235dcc12b1f3bd3f61b3c2d80af27a84b7669d