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  91D w% Stewart_Apollonius:threads=2elapsed=6.190cpu=7.816gc=0.116factor=1.267zXZִF! ]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mHӔM?Ui$_,Hmn؝o*)کŢ~n\zÃ/]%in\f Ai16qu8Ib=u5r0 ڤo-=ogYZ7zXZִF! ']ŗXi%6 #ZqhR`lKqlY:oh?pmoy`O}UG%(u0k1 kbDv4V2gQ y<ςr=Z+6d[+J7m.cOz(OW 7u;_!G= F,X2c:4kx.ɻ\{ƻcKb=-y/ Y6$kDowmHoĞdec'C9y7K{RO E."7"ַFc=O16'ڊkg|;_y:@lV[| r"wPҸI8[,}3t C-D؎T<;B&oWuGWH,ㆂILYbQN֘P[@Gz+xnr,kZ_*β# xQy !⥛Q~]xq@;YhRUhL`8lOLYgYZ00a5cc3f596d5a08e050b153cc4896219802c2b6 0e0f097f06721b90cbc34bf928bd857646fb74d0 67e9c1086d27650a831509a3399f27d4871f6567 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe 721e4ef6a784a88167e95fff874ee5ba5b33b094b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 042732838dc4a8f7b026f268d23dfcd6ac269904 1 Stewart_Apollonius