SQLite format 3@ . YYQ77Atableisabelle_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, "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 7 <$ c% HOL-Quotient_Examples:threads=6elapsed=27.751cpu=44.872gc=2.208factor=1.627zXZִF! 0]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%:5:9Chil F􈨵!2"z%]XW2)ƴB;{elC5TݔGRd:?Ӟ+BR.eIuHQKׂ2Z3 kcR Gғ)Dȯ\{䯏jahم*XAjֆ.+x N{`BZB=ŷ'G,2LӸWK}w}[,8[,4{ ˌڡǔDf\Bf/^a {.}||sN~oƵ;^.}Y)kேez9bW`Ԩ'/v8h}cv{!IDӐ& g܆1S8y ~ܺ.Zh~ Ұ*K9 F:{kAEYf}WHg2Ғi隞|U-w-D]Bz1.NjcmtUߚJYd{pA;+ _e aǰ48ml`ӅxօjL龃k T& aA,⎄IUmt ptu0oyt^').Veg#svй}CI+6-\7paoڽ|@r ,<+!_ te\?0V] Y .}=.??b;9lIr$cX ^O0ҭj[wQ~8jk)EAH-gҚȗho%KPf5n*:+ imVC-7z5`ϑ14k?h\ݒ䤚HRj#%]`\ֱ;W$VKNJ'j¸l~Sǟ&H sl2mW(' 8\UB|T,f) HbA2#BJ+.T M9S|Aq 9PoI]rSȺU ϓKtF)L1 K~\ 4h;PU>哦uWQ IfX!мmG{VsA>Qor>ӎJn]eC!&dJL!-ه @.t=ӣ{boiy5`J\sε#+r4~NNq PĿe'?rR_e.HBgUa4W͌30](^|$d$VG\d%@OXA_uYqƾҊ,g-.CcYsX][xЈO S~}נ/ ąj^ΒؒeA&IWGc҈H7hYcy%6ߙeO8#?'X󆸅%m6'qþ)%upH~'&4y14)*D_-vh-st@` 9`( _<3 }&6/_cQELpSLqx .q)=nGYя(^X#f?MlD.:(&ZOhbs@ư:۷;^?G/q^,њN *;=q0JjҾETIK備DACAE ]UV-V5UF#?*:;$Ԇُ&ӪgS*,ɉD;`NHy|vI`W #+ns.f