SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info XX# t +/]HOL-Nominal:threads=2elapsed=8.928cpu=17.352gc=0.696factor=1.947zXZִF! 1r]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SEMXEd1@2E< sύܨBL1 DS]:ŏ hkIښZxK Fb~숊g 4K`FS[IMA8AT̟EMgrMG1F7@oՖtI}+,L* ؁XO\S82o~Bͩ-$lD,ۂe .<椋ჵЦb]_ϮjaSt}>;#+:ko tA3T \^IQ-N`MX&-B| Ӝ;#]n!k[ͻ9[;cN ԏIc"wNRlpKvZ{Dع_v ׉ \'p~8TVCQDXTbd8ń@/'b߉sb1}Xު' UHF2zĴDs;\.a*)CNc>yCqńi2KGl>z8 n( p`XBL6q~ZS[&nb'kgT}Zn<5ܺ`t-!W2/EУmh>n6,:u *q>|A7,tmRL_ &cX*P0b')[i!{ ]9 uH*'2aqr! # HOL-NominalL |O8ΘSF1 #z&,l-w3 {$-!N'.*Շn#/fzh84^)N!@{뭈g.9j=x&pl*ka'Xi|%P5 U*g&vI&)`P Թ֘2,|zNE-8L0wUXHO bMr'ZB$o idY#4| m[]*H<ڂ>.Y\M/pRJ+G0%x{yXuF) b&ñgYZ7zXZִF! *3A]ŗXi%P9~3+M~"u<{ Md=Wt)V)qY0ucʑ|C$Hh ͍YzOJ: )L:~?ApIY D %) =[XQQ6\:y(\t X':jp#@L;C"9N>Z &ɟaf_dM}uyQBv>q$/C&D2X/)> *%U (qݗתHu;_e K轓|0xf+}߀r{|Tn.+5Z6e|"Փ*҈n*3v|x:5d%E '->T-OF,DGJ]>EDqzu䓾Ͼ1R9ђCbOi'ޕr[]0/5&q%Hz]b/DP yWbWllzgNxlwMMfF/?asXõwL#,NݗP? }K(w|#76Y'86/l@?PzK{*;o: ]pWO;ߣI+K(g1m PnT'a`#t6[NmdUl@Fna )if\0 5~VMѷHSl$4B _LحJRgS&"Q(i[ir/ lЂrE2]%T