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  s;  m% Special_Function_Bounds:threads=2elapsed=36.920cpu=66.412gc=1.360factor=1.807zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/G^r񢽬ǺKWe,0)}-ӧtgB!v_cPs.88,A>Vx牭<5vLu}Do5 :Jsh>PW¢>iuOo,E*JPib=[T9^7UQb V Cr}(Ze;J 1,=zqiuyP[xt[/07;vip%~"~BY1R.g[7גďTƿ  ܣ;V- fEN\V$c[ւe[cdjv9ǘˌV2fBh/F?w+tnW5cc/92"f-H8g 2+w9s XM.TTB{HG>+Q/$>vlf2x?4~ZAS3Dh~8\ex6rd 3hT+u &*7ːuz _H&xIsjK@x~"҄Ѳak IQLQjRE3ýQѲɮ?;zU=OŒ) #p,X{ 5ȱٛFP |Gv6jv' ~I5v]eb4wsLhHػI4hN3M`1Kzdž/$!&a|5,NBL=ڦ} L{. 3?PV&Gzg8E|Of ̹{x"wѪ劅@B* #F@o1@ ?- Q* 7:pcfJ:Ϊ(!Jg\Ͻ4Q뢪 \ԣFe%(u%7-|\|N ; Special_Function_BoundsvMMW&ň %OUjb)Ai&99)T .Ƌ-OS{7yCXVAKt=Ygi>ޮ!Ւ^a.Ԓ°-lo2 ʗ'rƻBYf|wS<$spϒKiV̕A羗g(xE8̙rO5 i$V~̐.r+V?s=R$?lYq7~!y:&[Ō1Y**^;^p+KJ(E.,ʈMð^pF/l*?;%S0 ΢] ͊5l-4?ձ+ 206:,,@oY'eOh.2g3TK#tR-U;;QM=T3H'GeYcSݠώAtWRU?ED S/q K֬#qtk"tp۴"E~Y7H3,ϟO*Nɟ*oxo}@De1z^\dѻc![G8VL:e.*tGЗ"[;_ÒMd49qYĻ MhB;(-7ŦҕuiXӓDsR~RzAs=}bwt'ڳb I CG3To19z&6]pCA[9n%P $V{ uGɦMDr[Q=,b[xnewߠfE:<{9&3wD3p`'K& e3拹?BUe&A5&1~>yTJlYJ;(q ;GB9 ;OTl_zQP3DhT\,|a& rK|RR^gAi b"bYurDFG?17.u7T4?E֟eX{4QthSG_ed?j!n"dIP%֞%I`j;Պ5ܨXDS5xNرgYZ7zXZִF! ෫]ŗXi%q޼іt` 뉓F9=6i+So ԁwו2^S&~XɪJjBI3r}П%%]h %IgIN?ɢ>pJ>QGRw0,%\Š]fm~q.%(`eZ%aYfc✇Y:ccJm, cLՄN%L~Ox M{W",/e}9vgM' ;E#[-yN  U Xf\Pf$kiOٍK0hrT˗ hOq s8ǭ2seU$"KYDW _+t[@S 1'`sak%0BPWփ[?uTL^Ussc)St+ ݭ dnK~@w,EMkUݧԯTlӵ<}R#,y\*q$;V/YW t>-KС#ӣ@L!wѢ͍0TlK!Wb0< h9ԧ~٘/ mj7:*R3ஜ".+:EZpd`ft#[o6.'yEdN Ht,mR}nU 6E$> Fύ\G_6VԤh`NJk aک0b*-).?B"TÃ5:ov`jiJ%TM,k9o.9I/\_t}1'jߜϻ5x2c5%le%iN#Á7{  4[D(OX$v?33+*4f>X3lU.7ԣr/NMLƯ3sM6<9kY?3f;ێ͖{D5ߴDɵFȝs!Ag +o>9^S`)0Y`FBs2fuضo9C_q;FiN]m"\ɒzUc(O94md}K~›%,\d)7sbTTAGIcg|} aϠcf>=g:XsѲg^UҦٕ YV/Z-iv@@)ܶ&?GNUeS_tRr-|{h}217x+ކ@,-:e߰Yg)^ھ!Pa^t8g2aK*BңYz ˹Im9"e6=ՙ eZe}tL2>x4 CrE)yz; otYZN% N6zJ/̱:B+)hn͏G4t0T4Ժn(I/3a>~}w\Umō0EH{ b.}E R/߶y۱gYZ36ec3d919766f5575ee7f9e49fbfd3924d92ef7c 3c7c24926c5015832091b71f773824ad18d6ad22 6968882a9b8b671a249cb1492c0bbdb0ad92b429 9a40a333da26ce6329a5213b1b992cb89b687787 bb0a799777f761555e86304e137873da7c79c21b bf9e55fa9410e2c8996425fa2579ab84c9aa4014 d2a205ea372a1162240c9f333ffba6dd3b94deff d37109b343f6fcae48dcfe8d8dd6a1c8706989aa d96748e7ae501033e4ad97e167b625c75055990ec7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 26a337b48b8c63fd275ea93a777a3e7a3401e2e1 021a3a6a84566f25e1dfc2a61f5be21cfb269476