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  5?L4$ ]]HOL-Computational_Algebra:threads=6elapsed=32.240cpu=102.412gc=5.164factor=3.187zXZִF! 1]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY쯻uRg0P?7EہDf=C^,ms Nڋ#=.*~C^#] 흟2w&I?9K[=U ^9Z$\TO5]v`qk@Rhb$NZ2yk}Q:u*>V}@QfSyjgf9;8|[&_EO2zF4R~F >^K}|\ Y_~63ek-X T#|}C?{U+9OZ-AEE7D.002*l27t.fg<yr#VU̓(`9:m U'rޖ KdApwmM9X@ !j99Wc6b㗮WNڴN]?J۽{:E as!U@yK|vhۚym6D6!xp#o8_}XJmƥ}Z"%"RQ%yi386gvcs\g?4 7KV$X`H]nnMo˦+ cwRgYZ7zXZִF! ]ŗXiɟ1aCXAuVKJZX'(s(s~ǩm_M4A)@5k%~Y~5s"Q0bNqr. 7鼶* #KU]u ިJUVU"MVGf^>?.nx6nپ86'm# a BW@}1%ݠ{ X q=="NcʋC^# H:;#l%Ajr-qxM$C7KHc 7}s[}<vG<2lѮe[Z`FX;}7['lO,l/ՏC]sGe?oej'lA.GciRذ:xC'vd_hFW]nl8~N@ PVaW*ntUFr J╸?@1p ZYq~@ ĞUy蘲a0;gE\X$/%˴XZ(!>wmmR!26dO>~4DPEㆴ󆴬&w^V)OӤsNo%1 ս 9Kפ:u9M,rP*D 1hKVccpe-(޴BEO7Bk*|ܗkEYo Κ}[#jb/l+6 Gſ :[ż >Un&q"kT+2 DH48 Ř]:=o$SdѝC0+ʄW'm)r7XP~q[AKU;8v{e!0ph .ynep9o)d:4P z^ җ;8`P.IF) !"5/˅跌w6͊۳612 3Rv(yxEـ{*.Ң}8hƛd]Ozht6#AmH$NT Y7sw'xeqIaXɖ! @aB(Ni]*恦+ xٲ:t k ; n)y%? 4$uog̾g 2C qW-[ ^LB /.:F0kd7iU|A7Mcḱf,ݛȹS ډ6*SY~r-%Y[Xշ@2mRPMSjQ%zq:dhts['bm[N@U^ ]|}&_'_@wvHVL!pGri*|۬+pFID#FF]&<15d+.ǻykӤtz?~v93YzuiHE'ѪkE"o!mʧ;1]qfb"g v(hRxJl"ȴv}>n==\.ɠs|Gg_H\6i 7}*:XMp°l=V*=H֫DY 8 GU_hBj@e'dbI1 7ϒ!ELBp.ďɜ~;p!oѦ<$lņ T1;R__So; P68䘟/RPŹlp/''N~ l{AHFt@cvBHᒴ =I>6jlcIR\N?{4D]w3ɶedn4~N*rMN+ nO.Mh=q7MVGI`n=|/ǹ=_e5¦vXYaR`BEE5l}"q:Ħ7xUv{־c/9fL pp^`njRYgYZb1b95e57e45bc572ef0799e3329e29c217956a674842c8e44f35b38e84e7496d28f4c0448c77e9a2 424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb b24a626926d116f90b05bb3fec45e8af4a1681fda1b9408ff9e9aa10f8cf294956aa01a99b949483