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  1 LT ] HOL-Metis_Examples:threads=2elapsed=41.583cpu=60.976gc=2.636factor=1.477zXZִF! ZP]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓]7%DygxbFZfyM&6=uKcݣ"ݕ6=*H׌UohwNka@;3 6f+9rb%Uu$]t8VgAVЙjK#/taicR;<Րаyǫ¡$N4e6׆e뮙R8ГY*g=o WZQ}a0$sf*qi 3[(P:%a`R5ąg#!5)jѶ1kJ13^iy, &[M3=cF@u/I [/D#-Fi( 4B [l?_ApkDKٹ%hVg PPz e5JM9x"{-|E*uPLaAHLM\}`Mohٚ@dM02{;lWX:%t9ʼnnҒ|[Twt;uU#aˏ e.q[۬;K`DS we/ y8?i5%7؉,ٲ\eGW>vGzW9/׉? Ѵ QgYZ7zXZִF! ]ŗXiɟ1$Cܨ }X 6^vWn p^k8hr#,WF.{cb}&tt+ rF2J_/dPKZ3b˨MkS"aˉ{[SvCPB]EN2/>6?E1-4!Hf걺w%ܡ=&7B;ݘs&vu16 )N}wF#'N|;F7вYu^ MigYZ7zXZִF! ࿈ ]ŗXi%9(Pψokԅbxir;46{#JH;C$ 6䪵nY-j1 qqDp5߻2c(m N\Ƹ"bV!|"r8爠|V'ꗢU3GyG$Sg"?SZʡt apѱ;U-S/lZ>ADs;9Qcm7R&M=2vp@^}HΖY1p- ڄ<~ u{:ƱAI}1u X'0 0 HT+.~.2rZՄxӥ#$PE3AvWKv͉3y@%)fysv~e`q$ŧ$D{ usEw>`NOC5# 1Sƒ~e75NXEz'¼n=+'QL8{mG{i}]~?} l#䪱⃐f0k,mMGb4rZ<1zm1wh]] DVSKd<,<)8^f)j+lJK/v $ìĕ {\0(صQrx+L%QG=B.~|H@ۛXt/iIvJfop7$__fmDӕcCh}i^6\zz31Uk:G8AʏxX`=H.]xuA&j tsċE.YĒv W88-o)Hʱ bJ/XȈ /@у~7&-,YS^O/KH2.HHY儑HDq"'^:Y'{FR^-}oG f?`)#J@3, ?"S>T2 d[4ag VF6_m9:tPg8Z+Wrb;gE¤H2q)-RqCiWG9 L-M-ZW>]98D8a8nosh^[u4B]K~ *$ /']/ƏV7cZfu*UIJcFiO;'L)1%u*5#-l4y-m/ؗl#¼ue}P1/p~ެqBԾ@ÞFGc}`ʸ7VȢ-MϢ9g)pf.>5^~^r:޼KgddʃWo7|sLitJѡ`Y= qؚ ,/;O >D J'Q B@.-K$+j- c\!:, \ GH L$Q[J># a)&)PYRʐ_3IeST*رgYZf8e44f590d872f141a2583e54e5828ee4c0954696f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 f35d613e91298ed96af573ceee500580887c6bd5