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 %%X= lT\ ]S]HOL-Nonstandard_Analysis:threads=2elapsed=10.147cpu=19.236gc=1.024factor=1.907zXZִF! C/]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒna~9YWe2-b]ک6S6Xjz*V̾փd6wkRM+Jges 9 فZXkfw$~ɘ:F'.1w zúS`6pΙjfX҇ ر.?} 㧤n w0e9Y1<lljOc۠cd+ ?v<^H;sU. 2gYZ7zXZִF! b]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>|8gGGE,K0'zӿ壠" !x{Ty˲i530#VO5Z)r.em5Rm4=ji/RS Ff'K]L0[,3i^&=&Z-{Z6ΘzMά4 -ߘ } YFDLsךrfB9ZI ֬n[,ȜMJ3}^W0g[PPC/&q7 J gYZ7zXZִF! H%]ŗXi%;ZutEal!0X(tÃWbt6U\ꋸv5;yxAJX́z?NF~CCÁ3dLZi*e2C'4xxE,eLǛB{ {”B/1:xVٶ(-:HcRl;L2t7LM%bl giNt njE75!F18ά# Nn_DڥhGC~/Qda >~M/L-s,ĭc}_),^(3W,lt1AևDɗ˅Y^rhQRQ8Z6bBbpO&c8fyo3H)]ii'=F-Q@G#\Cb}͜&¢X_g㕩gD_S>ljG&QTPΠFJ[aYWބ4R+q˘$:[Z{mQ7ץJ)x4bs~O]!oAП\jM#Qf(<(Æb/[@ S-MƭPUm9:z /Wo%"YO%c@+=B s1nG p 5-J{9|BGEuw˒/F&cRPYB v;mj)y-=gAJjDB)̕Yof1x7֫3Ǘ7:mv83ݸٚm~,8k -vEN*M>GҠF!?vpIׇER?t&n ԌDXKš\qhe["S5W5gT