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 t/tt ]/]Regex_Equivalence:threads=2elapsed=69.722cpu=119.136gc=9.160factor=1.717zXZִF! 3Xs]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lzt3G{'I.0-EWdž0o7-u!H^ؖ!NtX>w<`J6' xVRdHܛK@d)9 -`O䛚0K360؂tt8oh\L._~Mv4n7+nv#ґ% n%chpxG^tΞ"oBH_MIYT4"^kз Y(VumDdeH"훂% YuZ0>m- gǠ(%2*ҿp^Cb0!<َM+^gY,[M 5.p=i5x]gKGsry z=d(cĿ8̩-ƦPLn9 K%€ @(' `K XMdEuKdxsje]PJDX DSCqKFr!zae\YnB~8l e( u[M($a4v̥T^mwPP\tGM^*B&kwHmZl0%=hǣEŁ)8 \L{r?˱eý5xdSbuyp;.T<[lVㄎ2Zos&XAZO'Y1bc0iSMgo"oa"MsB^}VYi ڶS ^ .iŐ{g#xJhGXs ?>rǛPQn[?sU`O{}$`]]zq`(_VI[}a WU kj [NBGYӡ9u퍨̅A4K,{<Ӵ/c$-e(:pR>ْ擪ۑ]HVH@QOs3<R\#?gmߋ(1sU\G)r 'F)$0Ώl O]9?J!_h^z•fuhTGyIt"c;ͮ S˱Bw0;, 'OIS[@7-C.X $ϑ7{v%w%l<\f>8E*9|r3ⴥ^15 3UDac\lkvQ"W5rN4>ZloA:':ŏ~5VdH@gRI͆)Sd8.*IC~%t-s*O/(E/N³] f@eLgYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]~ t5ks&j."?goTtPGYˮ09nSzO'8$e2P , A8#y[|A@4RLJxR/joLC#'䫊\jo%(Maq%fg JK"*$M c%_eKՈi'F;fG_W!" JybU?g?שpXhL#^OU0KC'`Pa)YP=zZ / Regex_Equivalencedb"˅WSr,zE^v9IdWzgiY5k,SXT_c TV/.@= eKkg'=#v!!Ł- 1(A諔:vby1ع0VVYй V;?:5Rʔo d5'a5;EW{'"}{"/d0*HSc`~{wv~̳YkGOZodqǘm2Cr k*`jO9(xR.m;/Cprdj0Q")^qT-Eú]Oy,s|gBXo n6һڇ~㲩<:a;6vVfI#1֤aN9Wq?zyM>T#y,lECCJCN*Lhd4Tpe gSؕ} ^bτj)[̐E8V_VѬ#d5Sو&HN'L GUrQ0\c1FM>.|'$si7hLNjLJ3.//Na;"eblVBVhmJ;fڣxO@"kil8]OyƝ:6X!#wɫXb 9¬"sL~? - Ϳe~@ 0B0f80"q)z%8~7H[Si;ˠUDZ?f˳-D/忚ior/oo\3`YIh' df,^;>_OPq/ĨdBD8Ac'y#'I} aЂ6)PXZ\`&^絓JHXcC֑H;yi"y!fI;A7#-Cqk7WU)T)MSSIW߀uqFM6QŊzyk4Kt eᆑ9wxPoRwB̍|#ҲNO%&rJ~<5{_ƌ~#Ye|؄nCaաBѢq}E#5كrtsS?_? Li q).xo;X'V,9/FӾ=Iv#10Nw= 7N@eA2(RASfrz$G+|\ ^H ;?4:- RϊM4Pshg~8b%X O?BkY c9N>ڶ]~o Ѯ)qJ. }hKFEd=dn2 ۬nʭ8W( Kc Cjő,tcfܹ:(%9x;HlZ<0@|XKe/Rpc|PJ/nZK]CG:[ .U&AN0 y]Kpc1F*×NوvKr*޻Ƕk}6axvGϺ;Smۣ0QLFw@\PN.r=:#Lbo@@nFcغmRfE3Y*s\{uUn~HoVwᑘ?KyU iD(7 iFiC]H/zEZ$/ma&c c}2τhoG*[~°S80Pq}rחKzK?~> 6]?2%[Ă6W,W Wp-mDqM8yzOg}> 3 B BΚxK7J1OV(z/![ix6X܋4^ G$ ˠխ3Gle7\>Sm $srWc(ӂ)&L SAtco]:ś- ~|E ޷nmO~d5>tDrC|rXCԜV?vzU4ѼAX4@# R9gYZ92d2f76b1cf7bde0f6885a0a4c11deeea593470b79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d6eb85731fa221719c0a23678e14a6ecf50154359