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 @@= L /]HOL-Word:threads=6elapsed=9.629cpu=42.996gc=1.536factor=4.477zXZִF! ]ŗXf1-q恈eO/O4Eh~$&} _ruUdP_5KC&K?q9^RMIBƧx5=.wM *\fҘ @]BtC ỷhbUZUyqtP_q}/xq: uX6Y4YPYfOm\YtyBOL2&ߟ۩#9E#z™sNAX{KM$۱󪿋L:bvOT`df6!ߤG\J^\PW_!t&" GpUM{=BOQvuO% d9U`aC]24աNj_mZс_QY`ғ9H;vDd g)ծ8 c#.XJ!_ܜF @c`U H)$]'6"8Nkx5a;VY+_VeZ4g];brglc*X.x~BJy꘳lֺWru*SV&_4au,CNmڴ#|,)H0yʊ y]'Ct@׷&Pt}qr̉ײFU“4ynM2)`HgYZ7zXZִF! /<]ŗXi%647\2wd݂#>UnL=^pf|Amm]oMQmX9P84yϮԞb44)~bЏ:H"st,(#h!dcFUrdX5XjK+iƬ-͑x$¬N, e\퓭{̒1εl3Wp:Y&Q<ח)v&dg)"Ԑ0ւSG*pX/B:? U&B%H}>~k(80Иv݀[ ٹޮ_S_iZ!C QʦwYv` D98fOHmD45l\-WV"F+5lA\B`9Vvo`gil'I5 $YJC?j0kS9 cO1?k[𺰃N0e$ӯ'AHEHPڮc?:YixFg0cn %oQ=DȽ5%$NW[4u-cGmB*u{Rw%t7#i)u o0 K٨87[(/Tbs]-3.fA 2=7^B%'")rJ0zXn99&+;_5?#l|dL: J86(hFq3}̫