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 S= L\l ]S]HOL-Nonstandard_Analysis:threads=6elapsed=9.113cpu=25.364gc=1.092factor=2.787zXZִF! u]]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa ޽,DjO$L}$Jk'Y V93x¨ja 0+7'Wۣ*V}t*xz\=޿()0腖T> >o{9N8%|(z)߀-u5^]lf3'?`0kQ 9x*>U_fvպ@weɯGQ6R[æt3idk;!<{{c*tDRi{6qm9EV| S^,J[3tOIsz":j2 (A(V*ص%M>9/W'WGH]:D#Q3b*TI'-G:Y5 zNJ)n"d\jg uRc$ݟr`Zӄ'bktG :$ t Cg@/@j=MN2 i}ٓ{RS#`a*0T gYZ7zXZִF! ,o]ŗXi%9,xfV 8i-.'Ge 23&kLu`@d^0A;ks 5S@ vl=.CT:Cu+,/nSD:~ʹ>6{)ХS p?0V5PBdoV÷h4F!cgCN<&p+ʈhS"@&[aG'4 HKYu<|TXb&HSU]_n7G%|y/VNwftᕼ)Kʦ{Ih9 }JUmwFt Q kŞq!jv )`>QD/5:L9; :q [׏2XKM)"!Fw.GHr= M+԰O&VgU?N:m/qaUhJVǞQitIev*? vuRkV_#gVNI>7 3ne|bmլ|SL#x&]JrU]tT\ע.lw CHwCyRTB 4ޅ~V4uJWr20 _Ie1