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 >) t| S/ FunWithTilings:threads=2elapsed=22.732cpu=43.256gc=0.256factor=1.907zXZִF! 8]ŗXf1-/6vRZ#q$-RR s(|CdGe%-?FZDJ?Џ-r!yf &9ٓcNDZ[S7 HrX4jAh` 3U ϴ Y#Q&(W@KԾ8K}Uw_)MѢo#"5M浃˗>v%D@Gn@ K 6y|Ƅ RՆ6i4-48@Ɇ)sD?[N?iŒ{bJU!0kf Pox$ @i't@)G9F*= |N|8y.c =ŕ%G엊"C"PF ?ϥK DDCL~ ϸ 8_IF9m[\}"T2M*$`ģ֬򥞮yЪ %>~J#x?UsћXi{ʣflɾ&5jɁ_j  ]̧v` 9{# ¤GЪ8_N%?1׮ܪlgP:e* sms{ !4w#SU'~nJrէL`-EgM'12l8g8 ?7IL\+w8Py&֊uCN RX̓iTma< DȍǐQ}iF`x#7l3\5W;́&opu.Oe]!c<ljz1;N!!S]mߒN5rҾw#=.Bn9 [P( ++QJqI|5xe ۀpP}eTgky8<ݛֹs K]H jާ^twh$( #,iqͻ ^y޻oh򲔁]wI:bR |xI!GyUrHћ{ i^Ta$rXBcO3hL fj