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 DD9 t$ ]/]HOL-Word:threads=6elapsed=8.565cpu=39.492gc=1.536factor=4.617zXZִF! s]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z efOjd3sҊVdo N8JawTdf eiIܟ@_Of9)!˱'w* 8!DM`:+ρ OMiٲ7J{F-럘nuKs9^¿AY{EV~}ѝdч&3eyo̳ GB3YNa+dI+WFJqH6ZW!r$ˊ]Ljy_Y&!t t pJhg[,"&Zwn(L2"v/*{Hzztfϣ[gr̵C Lw=.43 o!gG){p3E\ԆL i2% d?Pq8 2M! }W^mpu! o $]iu1.S0V.^aH^K#*ޫe¿ZX" Vrj^Fث:`oo jʔ!αgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A.̍G>7ZDxT;*\{wqV^Rzw9]=< Ï{#2[U26"0*գ-xHhR$ 46`L,& ک4jzښli csD+D*yџk9eېF#J,DZ2۬9w @!TD3ֵ_cՆU]PF+Hムvouݛ8:A4^3 J))Rx}qR$mkUJX) 瞐JcGFA!vCNGj`njdQl+ۇFR<o}+5*OP% 1swϯֳB .7j0gYZ7zXZִF! *]ŗXi%9,{yL^((T?1kuC{rE]Km̂:bH0lRh= VDli<ݥwbU,Ar0V<tGeK4]:ķØ( Sb_]r6 vzcZSs egҡSvhprvr8.E~~<74nrr y4Q}%GjrV-ѩTDTxB>u OhcU)AvuM1ϧ& e"!nge*K#x#RdY? AEjTu%6~0`e9a[cT5JhԳ+k5uX?^tݚ$gM3`* @15kn/4{:SNaL0r<#\Ph{UQ])Av1\*xuBu*W)X\"qrH]wB "2k"s 3\Vy@A_'9kO yD[pO§=yڸP6bC@Bj3b7'4a?tϩD Gފ%*4(c@޵`gqyjAb`*8jXMpy.s0v Iw}`<,j2ReIE W#~![XZUZ%)gYZ182752e3d64674432cb60593fc8ab384e99f54c3f6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e 3b15936e361c4485de36e5ecf4f1f2e8f445e71b90aad3e1642cbb871b464abca0875ceb1b422f0f   HOL-Word