SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info m144 ] HOL-Imperative_HOL:threads=6elapsed=42.721cpu=61.964gc=1.856factor=1.457zXZ ִF ! /]] ŗXf1-q恈1$1|-~yߢ" w7Eh %.pICgf]7l4467cL'Pw'uMJxEH h[A f?`.5p֙>@. XM]IeDGՌSFGRDknR;Y[>Z; 3 #[8.L=j膆c詴-X~b"uY{zyxJt>j?aGr;) ;4<i$ [_ZO"C>Ķ̭s&bvaӫxvlQThg6+ٵ'oQ!B"P 1 HOL-Imperative_HOL IyF_R*Mğ^f*ǚm':УdOfgsۊU۬ŸZo|zIYTɝUnj<;olnW8dA[.;AxjZ{}sSt=V2_P-%vu4X5mfur֎hmb qaj؍\(sM_vB Eqf>W74Ȫ0uWZݩ(`Ւ:'45e#*"Bgvɉf["j(=$`la&-&Im'S@Qi(y+_wj/j ˾8H9ytP0Rc?.?LIR;BlcXCRאڳ9rumƈ=G3Y߁掶Ѫ{&}t$Ae2Ǯ)іզ:rfvv|sM|־AtO;B熊1t4˩Fk4Xb/۠;wPf~MvkaȓJH Rp݅&[}ׇJ*'/\C?,9XVl>YKT70a%!8G"Ly 7 @X;}J1t"{yvOp>K pWc[&tǡsO`]>FΩq"0c:`Gfܑی]@t@?UQy벁@7!0{HN ѝg :c ^ h&tg YZ7zXZ ִF ! >] ŗXiɟ1nhЦx"n _8N]( eOtd%ξKԤӃ(!3\d^ꊥzCL̷t/PLT[f[r{c70H=$<@c{PvohutX ʖ^Īr.dTgT <YTt3/Gzebĵ 41e<{gZAvOT@t