SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info M+4\} Abs_Int_ITP2012:threads=2elapsed=87.488cpu=158.488gc=6.060factor=1.817zXZ ִF ! $ ] ŗXf1-q恈N|5` 6y}P7(/H>Qxrx=`uR9>0"^yԊ#jZ{MZ:܊hA-|LQ V`ZCM {jaw5X{KUgi:j?f(U\9e3 4~i:B9ݑ*O-daF =="E!\1 iPB7,owI V<]ǝ\W-Qe,P@`m,+Z ʵjB@|oNָ̪yADt T̾qנM&C@lYujـpW1JIhu0-7aŃ9=z݉hMh,qE6>~yV.oyAD U;Xҿ6H'Rvޕhw3dIjr2\Wp,$x)Y02F9bT1Aê:h+b6_P_Rdpsn0RAuAjfExymBGw/B]yLG30 + Abs_Int_ITP2012 'yѤ6u~99(js.pjw̵Aȡ8#hxiE-)&ކ]oeB^n__U)KIڭ.x\39>DQ#9 FXm* Un&^{ Ii.:jNdzD@77jjmJ)ºYPc_5!Ьkߣ&NTd G4x@l+k+'Ni':z^z{OMR;j!CR0hVM ,vcG/,&1%!]Pqℙ#䴼kpVM~$fO F+0J.B+˟uLuA5ۥ&N@זk^@T)_FEн3FcGvsN[ ի M-IϘ. ӤN0Xx"K"ZRʖԏ%kZx9OPLha4 'ږu&F\Pg%V#\ugS8S M6ۊܥ `@%81Ԓ"o4*,8",;< 1lһcQbTĺ[vۇho3e7̓@}0A*x`K ij1 ۫U5̖>nk.! S<08KI')cF>oHV!zJTaqyU_Gͱp#[J^y_GWKf)wep0qFZxӍ\@bPw"!.anլ9Pcc+jHF&i.7; qc12Gv d)QUy'{SbK6/M}