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 OO&7  ]c]Algebraic_Numbers_Lib:threads=2elapsed=76.066cpu=138.528gc=5.640factor=1.827zXZִF! a+]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& G7S)E f"*'݂G5JMsXk^E]Mb6!nѯv HQX'D<埏WzӈZsC=,KFb;+> 9 @k&D.66ݖθ9o9+ O&Հg :2v itz IhSBۅ蝮hyREZ̦*lG5/Yr^1*m0h I L!PθZ>Ã[4ȸR0O=߹ykGR+:郯x8Ԭ/ǝ)1% T2/QI@*բkİ+퐭6'KrZSaBtbs&3M "uoSD5O+sS[BIzYgԑ^+Ma's3 \e܎kMaR 0׿U'M#b/N4ՅN.YNB>t?SU' ^ǻm>JiLm.1ъ6֛9QX ^Vmk\jRbbn3 <Nalzu#a*\g=F7-H,8 rT@T&b4bi-+.4 <$b9=MxR}g8*k]#nHh#I)U9q Bby!:pv9 uLҁM#1uJ'k٤0N7KI%-q=XɥʲTJ ^ mQ<5yYH IUr>O;⚘LĚl!|Tuw89'Eix+,a9l{ Y6 b雭Z*UgP@UCN |AXĢ#@z)aW !ȴ?KMGdٸ7bADd4r$ />Xɟ\WN\ɖWtÉ{8;&㷧WM{ `(܃pš/ YS ,CaZ+Z׶G2[0y )n[j yNi=pyK}jњfOYDEX(T`>}3_%Yڳ81aݝhx3e$jVkK*})O+ƉyN[`mv7N>3<?zuYT Xpԣbz̾ϴ ]97n/}gN XB =# uB2B0a:Z~#ʎ*-sUG) c.={0wf""Mt~vY@Ifz9XIng{}Gm4L2a< YZAM 95eC?nHb"nۿjs `;S"BЌP&A.+7R:+[% &׏vJ`匆)ɒTDI33'kӷ֕ϥRX t{ 64BaP2Ot¨^z(7ߞxB: ك2hm2s|p#"dv#VCl+:@X\S HDi)* Gn!17p hRUXJ+w\R' LHe|fsL5T;шApp H%FcgYZ7zXZִF! .]ŗXiɟLZ+Ǿ8T8w4=@%S14VupgH[WKxc@}'񃎷瘝Nl$7Z]0Kn)!0܋ĎZ`PP97 #z檚EcFX?7dqzS ~}YEAV}B (yLF7Q@r{ wwN?Zv mW6g h^Fz`l?0c׌o\{vE!2tO]e鴔Wnbxd>P gYZ7zXZִF! []ŗXi%6Sui]ף3URY{;7+d?b,.~V?m]$\wvVv-y8e<y=`E͞.GUBP c!;,`C,,̃==R0D1}m~d覇z7$71uTb. w}<%Bi*u8CLECH8P 7+&t2lك1r>Wh2-4@\)M4|so6 8J?n$UjչZPs Ji:5T8 ^ @N ͮ?7ӸCS%9? YwO+Ք<s!/lRN{^IT>G۸\\/WiC-FFI:_LzקuɊ`a}oc%,qxGOigS uo#0sŖ%ٕ'pF!E?n.PH(f:v~1 _i;trclHE?%ٜD AI Uy>%JNW3kyяXS^5in_FB ^U]#vs}\=e@nR?CO-)HZ!G-Tڏ8҂H_=\#P"cFˌQД6om_{ٍr}Juoi6& 쯼!JTKW 5˝rb$SvxހgLPf⣼O-g` *V6Ⓗy]ҔٰrC=[upc.G- 'ߞl7M^_8:SieDӪʤ_~݊VO @'mf'mff "!$@Φ/4ogU#Q>m4[9UM9deIyi |fr`튚%ȖywTz{p m̦G#]1}LgY2P"z^#-\תuH#MX5VL,.gyb9f;^\ .XÖ ]Xy5Э: OJG qF':Wh ozroOyS%oc[XN0dn 'u'QGrM+JU.o ~/S8 חPASVP_;@Pnufr0ii (.`ұ?!yTg[)v1e/#6}= Y0 .z ÅE >}kR5.I hzQYosĴul dDfIŨ:==lkaoQxym󶨷l+'k~[LK~t3 m HT ZFAd8S\ Z&|{Fl#Cwl i.EBkNoS6I;n= 'VtE@+ SEl, ^dz!Y#FFSY MP[vjnt+Hs0Y_&RzC$Oe d Y8 de ~a8W;5ʧi[#mw=+EtS:5 %c^W2t[-:ı\_|֤MqM=-I$BG՜HI Hyv2Z ]!N)dJaqŵ$WѲXwS/v]mw KJ啘c*=۲=)E!x tvNm93\3ݰ,khNg^GǞBXc֙lyrDk#vQ6tw6tC,: C_zHv˓'U ݤG1x`i"{#HA A/d 1MyZ8[[غ.m41FE{ԳGa9Uԕ7Z6>(Js&iMtZ,̩N;z [5Maz!oX~\pE~ɼ8Rh-BR<2\ޙb.;v uMU)5YA{3`Dt-C ȓ x?+Vw  u7gYZd6af5f46ce2a945d4e3ee69baa9c5836a68f7a32e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de 20134841e543a7bacfe24bdc4f76acc2928d86ab 0d482fea75712f747b73221c2647e7e8df67a1d3 40718a4836c54a8ba3b2a7d8946a7337a4cb4de5 0349e4de6f79d55d3250268e89a6734920218350 681a2acfc49d4e54dd610ec8027543e2f3e49efc f1c37606883f263bd60d57e6a02413bc546054bb 38c7464a7e81c52f07351bf651490326e61bc6b4 61b3865516fd53a965032b7ccc3ba5dba878a95bf1a163e1465eb0cda13b9b36aa5d8beadbf23cb3