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  TTD ]S Show:threads=2elapsed=20.865cpu=39.392gc=2.012factor=1.897zXZִF! t!]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF3aw*a/6uёꁇHI8/Ӂ>1_/% xHPg}аy&NT=â` KZAs*\IЕo}&5Av[gr4bEG=V_BbT 8IV ctw2k :NwB.5hVRvC6Ař1x@iA%*A,dVP#j@X$>g9\~qҺ)V#$c ee1~bڊQ~[ynVt^98#,GJ5/qՈIRq'LCrIB϶ϣ[I Wkmܯ-v,3 xY+Vs8̖y_B6!A{c6L1e&&U+=-}G张2q%F:F7M .?.ZCWAnw-p;WF!oMq 8ߑ2|gYZ7zXZִF! Q]ŗXiɟޅ*-qbku?cp_ b vdM ؏[Kt sP)UswiAԑ]j4p/& U5%CT8'&]ζ7翬QFkU$& ԧ$Y r)wIRW! G{Yh FaQn3v:i"293=!RD{dogYZ7zXZִF! n]ŗXi%r)bi*BzFH坮20rwCpt F=jc|n+Uru ,yxl{)\$ō"~ZT|DF^*gf2JذmтEFN #p6)"G9 6/f vn^ D$ Om􇠡om|!bݚ|Τi<@\z,ǦH FaۗleNy<3X]p:8Z+ؖ& ɴSJi[d(!Pz|5~G!4xtn.[?hAO;90#s(FUܘgo.Zx/ͤ|{gjo)awJaOq| CR \BU'+dՍ{QZOdy+MgG~g"a6~4A ,Žfg.3&,r( oΤF6 WYrz39Wvn>0UR79hp81kf4r͎ԪP0OGħGy *)rIObф4pMD~2C4jp= vFc0Ş9݉0}{薍j3Oi3 }c̕O2mn8J͚) w~m۞r`'miTsKyۊVi1 WՉp viQ:uMeMqčT>pEj#r7\A/!3..6"[FWB<bH4QF|F=)_7pdqSU!xRl_+Q) uk%9ĮD΀h%.6tj9B}Q Щ 1j]^8Bx/)0[2z~ O`A:Jխ79b"z)'+SO=U(/(/ *(&R-{x+_@މ\S{4ڂݯR t'߉XwI#ś+zM`zLF%&^5(yz25x{:˴`^кH[}C%{ )Z1I r $ީ6D:/(z`2y>Yx2yq4ZmϭN4o/fv_Т#mHB&_FB!Un j#Fr,~ x$ \ȸ}x;q[(1aH>Cq@ $/:Gdt歅+OsOf"6? ,NJͼM ?̎& .~`R]C.FP2|޺!6A$G^۝w0/M%ZsJ!u웶^֒T>A/,WT d|MB^K]UhRId`RMCC| ]gYZ60de49e90254ce06b77f804ced9f35326670935cd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03 bbb177d393adbec8287182216fc216cd45627bfe  Show