SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 0-$< S% Ptolemys_Theorem:threads=2elapsed=3.063cpu=4.576gc=0.060factor=1.497zXZִF! N]ŗXf1-/6vR[3FEªӏk44TYz9(؊+Ag unԈl28mOp.fm|au+ش .%;u{ՇZ; @[-U>Ţ lڲ4S/eOM l:ܐ,<6nW_`d6Ǟqn+'*H⫹x'!V7 N#fm߶%rA*U5;-K*U@I8$D.QCQ5D"d(I+2Mm<"2`HEQ~ol JK>-f2! ;kS-~M2$;3]*MeHnbT`4|f G۱gYZ7zXZִ - Ptolemys_TheoremF! W]ŗXi%!2c$Ҿ0ܜ\\׎ Dm߁HBoe3CJ摸]-&,u1"u ߬3fr tUAW*F8fL*.`eP߃$M"[%xӹ"eS`Kh*͢5ɽR-+v8-oe{M+uY\S]Si ` JZCUZROB9y[C|2-\'rigzkZ=ǜ4 /ŋ;Jjr+&Ļ{`tg\K!B6 o)ΏXP+iŻl4D]Mz=d+v7wW(L@mmr3).7+eL~?t8 ~NPX\2$\IWbf_J5cb8^4'f'M Nkf6l|u^IDomߣռ£Y*h+  gE;rCʀ܂+Q@?am3YdyAEZƾF? m4YG7njfIIIVL}ݭ@p(3gYZ3c2cae9b3493bb988d89b895c2dd3575b43d16f6 726f8e01949c7e86b4f11f4594174b1d2b635507 bafa67240816f50a370a8091bbde59dd4e970f26 db09a704f063b4cb99ad8e0ce3249c2ca42e91b907addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3 c43a68050ffee06faec10563bb7ffc2d737fd7f0 7ce0db48f01026ebe144dff7adcf4aa7d9776819