SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  ? DL m SuperCalc:threads=2elapsed=38.853cpu=75.876gc=3.520factor=1.957zXZִF! +,]ŗXf1-q恉<fUZ$d{s[ Tc _?aڷLW&rws;Ο(IJp<&|UGHr.yf{[Eoاr HSDz# N]LQZQ1mE_[n=)t?UָKC*w9|y,=xMjʪ]s݂b&U&[*Q_2Y5nQ( Pp 2S}qq3]k#qP*$vFg5o(o$1jMKZOJGEê2u@B.ul/"gaYh'2 w$xqUx!s{'2iikvt:Zy@DmE8j$(ñ!ED   SuperCalc0ɅD\Ypx/у*7X16܅xQCoMΞ > V6kǩ<"J] _ 5DPhL_qv\AH (LQhWh|Ƹ>&" 9!k 0_;EJ# ꟐĝӺOV*ojB^W k_S<GBgWWkKCwe08/RNK6R8h2Z޼Qztr$ 0)d!G'v+; Z dA7];C'lbXR^;3Rj |87Ӱ"ˉR >2`!KmJ\ 5)P =t-2@狡uyl)aEaB(Bۑ-Xe,U,ԧiokYZ٘m|a)/@(5BCo6T"@M÷st7]QaF2t'J;1Gu!TEGF'PQo <[r<ĄY( #U|)< cD+gVnG>|wx櫀{?B wu 1؆F yh~zdNF 6\O`7*YmqM "zszkLtsm%+ij6z=blVR*{*I!:~f/w=+Z9:%TZգ/(!QЊ\U~"K#[=rġ'+u`nK\ !bV1ٯob.Te-͇U:_-<v\ajXOiy\OFߥF LOWv=-*FM%9zLE| yODg)م p[Pwy|111 6mLo$|?v1 ㇋\A/H*R$m; l8yHIʳQy5U0MVS/Xd- RgwzYCWW5fM47`r71JomUy2 6e0gMk]2Km,%K0l.H+ J102ȜkoH49jJuXE,DID^dϝꘉlL1A2>Li 9JGQRRWpF&]N̏ &s |֦FؤٌmQ۱%N*L+"^B@Q+ ~ԜkKXHg&nme&v˸;&<-ky+*Ͳ֟fI6f5*y@e9~o`NJ4]~tFҾ5m1,#HUgJcЃFC2޳ݷ}>9P-z7@d{ vw5EڷN; B v6\$! b&Z,UI̼:^7@Dr޾Os q3v]]}h (LsnL/ wj]jW@VOIХ 0YD 3# NFnp#]ӅOubC0SKF˅`sĞlUQ!yQ ϶@z=@alK*LhԢrzӅ̋blxa'K.hu!?., BCi7ܺwX3pO@"(v!|)bfէoTp )bgvk(%^`^W[wvxI2~:_qvNr܂˿ƅ p(n W! Z"fC>, e-nny{Î7YsLMCqc;7DvA*ztk*LmhX$}xx>p,dM͕$3u";[f3R&*짭fG K}Ѫ4!V9$,^[U 4̛e 9E:hhƹ:8nFEom$m}OU=c1'0 WAa7b&%˺89|/FjY$ 7?LʢiMsO[ceC,ʣiz{xsd' A_T>6LT}oXK 7b!eM7;?< R>&e X u7 vn$]u͓)*=PylVN*vŘ7uH*KQj><o-JZ a$i!wТ)sa u,V9}Zq䓺YC4٬7Cɋ/씬68ZxBl" U|<ѻMEJN^ #pWZQO.LQ!-8_b_i\±Jd VR?Y7ӆ$OzŶ[i=]^4[o%\Jwsɷ5u+Cwu }yϙ[ gwh"@-󨮛nL~DPjL:U_mHBΡ~PC2Gm`*jЧ]Uf\-5 'SF#' eWNT M;Q85v4'ڂwI_IrS+}߼ݐ&dY^%2`FFP#Cra1F8s X&%@,ɟ Q^uYکHi+ϑU@bj`() jt{Ai~ @ʜ9U}"ΆAG GkpJ,ȸFÅ}.-k?M l+"|=DJ - f/-{Ey/[ŽŦHFФrm,6Tp]} *"2U)Ѽ@Ƽ'bs9gg)VrmQ%?ħX]"i,8CuU*#'*,JPgYZ7zXZִF! _]ŗXi%s^ׯW '2@CҩeOCG`!ҧ%*xQY 7`Jbive²LgܼJpFES}ם}^%:MWɒ֣{W,a,0/]?tz}vPx`|+ :3 &WFm%G2)!]cDs$HF=kvcOac3Nnjq.9;8pOtw5gG[veJlҖ!2yGaȚt~u0jL!օkn0΀jY=O\tk*Zy|e 9LG@ 2RY \+߬mǟfCkN[sR*'ĖɚJ_I< >/|o_.qUVꖥ}TIÆOF,zyyac߻S,1}FkΗP|$0$iMHãI#re3lD+$A\CZp(wCև)9u9ҷ1 ^E_Y(.2Hnl:tAyhlBtһIw\2מ d(]?M_4/ [Ht_1ސ_6ʳջE_ZBuNVPL}f@!gj_wRܕIU'Eږ}-.}$fT?'g#3ٷ:ESc!|8\AbBm5ie b9ǽ٭`!9yk<1=mUߊM F>( bӸɑN'|bb-͖0 щPyX~ (ƒf߮um_ØbӼõ"Z|De)[t^?B,1?f/}aݚ5bsN).)o;%cVpy=J&2rp5HujԝDonK4ou!NR΃b9so # Qbs%[i~y4/Gw0;EE #Eh YVUCc2#Sۿ4iB0Eh[(p΅=KRwCń2+ Y\r'\ uۨZo*tQ]|odгk 'TC2Fl}A"S+DgW8-彆2Tk7 3GnVΆVaQ`}QvKE{$N-,` om ;U cчvK 7=*Fk7v[=G-q>VkK&e9PN>x-:x\d"GbZOXI 2첮ĠũȮd\?n" w!Lbq`_Ly`t2aD5=j.(a犊bf'ۏ{+óD])08eQ0D*= X {3@EBu]Qi ,=>$9 >~‰SeґEzīZAT:֞g#CqD j RP'f0lրΌoCMWJnE-$&-pR/XYmx9Q! 8N.C U_T3RT|VP%WL8OقrsPc [[|%áMC4wKMfuX(OvL1j tp墓Fp  HbTQƤϒVYR$3@R6w94SwQ!`6MȸP/)>P/2E4gYZ04bfe01e345b1f2a43165a83a78daea05b2aa709 31106a059b9568a10836d609aff3adacce347b53 393b349f932faa5db0348444674c07434c4816c6 596bd40998c29fb5fbe86f1fb0b2d7f2aaa064b4 64d1ca5b0f247c8bc670a248b50bd1bf005e669a bab94ba72219da3731355e4dd2b2cd5141e0cd06 bb2a4493a377b43e9da6df97c8ec495900e2f2ad c1e44491a2e4be2b9b8b8411519fd72dc6362558 cb4ef2d7c92bc6f86abf071b0a6ac6dee8bb8cdb9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567