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 ##Z/ T< ]% SDS_Impossibility:threads=2elapsed=56.155cpu=76.580gc=1.820factor=1.367zXZִF! #]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,d#i8MۣCj&[h(k뛙9E"ؾEz%iLvt!3 ~@/~yg:aq;5q;lFlʷI 9 c`]탎]5WtHl#]uhbG²4OƼ Kb^]܍G9b=țvY/951%q4EpV$&1&M4VL_4ǯƄ6^nH;RJ}P~27|ģ]F`ZjI -xujɛ" ]0a#iNW=UP')i!;ƶuͬ0UƩ*'_6Ht'嵕a,o' Z7xfu7V:]'F:(86,Pd]բ)GK'1_mb{m-h,{;ڦM"6[.8x>^a %ųyt$#m⪴<lA˚/;6+wД K6+񿼝.9E.2={+-Ho2!B(b8jnږQ2m O{jW gYts`+!a~ թ(<+CLyK#ct%E7Y,SwьN+qGܘvg)w.;q#dT?}]j\26mk>}YAǹ#YwB#i)¥혀yZi:F9O 9QyDqcbݘ5WE.?Ta7 YHzU侅ttnNBQjby]܂a^TOJ o^`m"f28?`ҹ+@NtrO,ߪZ5#yV''-,Cw&ň2Mo~B{g95C$oXUmөM=]򘿨`YA Ox٠JvX"z.S9QZkнjz32^+D>Y werG-^i]9S% K"~uKB?17ob~=N  Mb65GSB̟1HRxWL֑se0ޫCNVViɦFtĂ!-I +lu1L}~L aW/8vp|R] .^g^=JTR Ui_/XadTCUe])1INAFqZVWpOo 7zy$w"DqJhL+!vYWޓ9+Sîf7TcLZ1 dޔHG%VOs; ϝfXw|gN c EHKϧ]e a<0#tO c,+ 0bnn<5,q~,1T¶% EB-܀x\BMY.#WMPeQ')5,BL 懺++आeq+hL$ڮ` uuf>m_ݗf-yRri)CuGbw\\Usy")]թԢBM2WTxGzauwLQMht\/<9M <9\;MP⠣knEA6*7 r0b@ʲ87/dxk^[}2jQk?eɺqfJm m0Y("İG_JJͶ'et!˔mTn%#.-+ŞL7J"#{҄-$? J)(.y4;<'󟘚x-:vY;ĺ8#b'3<lc&-{y"%: L&f.ӁrgY7jNsi YZdE10(0oG!X]'<%saÓ[ O3 d߭uʰ$EU_CrQ]roJ@:eH/ȕ`iz9Uy^'͵EW{ ˳N-n՟buۦ gYZbed700a68342a1161bc860aca07f080852b6ec0c00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6 47d5f26d62bb0e2b689d2f2c5dc3f380edb8a6a4 452910ed226823118b484dc4f3b0579e355fc44e / SDS_Impossibility