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 @@= l$T ]w]Routing:threads=2elapsed=16.022cpu=28.820gc=1.048factor=1.807zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kMyZ[/5'l9rZ!1Ƥq@PoǢ7kh8zR)_*ugu.0@V\'񊒦Fm"tgNzVnsf<![i~B`EK,W2H UߝӪ=mӏJ*wEiZ E}z6S]t q~eU` 1I X)Z>\֨ <V|ΐA.-w)Mo ;Fkln;VIZAI2Od""[TA 5ʣ]b)|sPz3PI T5\%-9wG8,uRBq/E!@d'J&"Nӣ MmgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLS^0 ?ht{l_'#KX3_ X ͐tu8{c8;YJO1!T$v)H3d)78Hu말9W{! gYZ7zXZִF! Tk]ŗXi%9#_Iăw֥lpmf$`D'P]m8Ť)O}czT)I#ۂXpW5"fLۈt$cpf[TܑhF_19!~Oe 1ۃ3J& qDf^jU|G.ajPb=8u}?E;gOulRZNINi U,:Q7׮{_iHs&KѐG˹eCM+H0^a?`@r1 \O`w_8g(YPq(zGhaJ;7OջuipƖ SYoEMbldAHU^UrʧŞwϠ}cSn~ > tLt'p#Y7:T^I7 >?\1auU/"j E"E7JQSƮPp:Hjiljx#x:#fgm{dWp4uk.)p ۞(qb恀( Br"!>׏r;lO%e}5һo! -1Y]-[zmnIeG?jg{ ;k@!f k#m(8̯=G?@hr-ʱ8Ud[F l7SŶ)9Aݭn<7XpY v$30Wd=$ءfVjBn3K3QÇBD|dg}Jxfo2P̥p_15PUe7-tOWxzP#6Åp!g:2DFiЮQ4V+WD~Z%:La&mknQ8&IiǞr1C,W9e?^Dh2- ?WPۈ K#f!t1铯[F2^mӫ23n%?X3Vj3Gw-;t|+dYu^*-;6N7N8:4nn%v^Ws:~-Jc[aI ))!\n;{1Q;^ C{_q?tD<;_v_^ ktgYZe11f6d16b7abe6ee374e07f0afdc5c4b2fd0e4e08ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 573c60ba3acfa61cac9ff2a6a5d7e478e6bc035c a12dd1d0f81bc03d2c48f05e28a3108e35148186 bd03c84f2866ac256b28bdd1e8611778cefc1b58 89b3f7fcc7b7ccbfb5d7d5e1980d551c471e9073c5569af32249da0e3adb686414cb9a1bf9888af1   Routing