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 8 TD 5/ TLA:threads=2elapsed=19.994cpu=35.216gc=1.000factor=1.767zXZִF! e"]ŗXf1-/6vR[j 84[ϲ E <,S>4 %v_cVpyKѬ _2"m݊%T), RQK?l]Da7`fm\ >HhGx*_ Xf02"!:LpH+i =` sJ4rpºcoF!%Ǎ_Y WCyݐӫF ]k>^Ɔ6LSu2|MNωůP%b*l/B Բm P:^]2o)Fjuʹs7@Ohzw:߱mt37)Sb5Ŗ̜-H\u, "Yo?QUY; ,^g~&.޺i]Cȩ>mlf]*OR&Yctz-u7!0Cո.P9eɨ"rޱgYZ7zXZִF! nu]ŗXi%6xp"-x=ۙQ$Kr?H6!Uc,z,D{pFod@IgZ7-cdsBnrVd* 3[tXm9 L6oے\G#M}NJ98\7:ɪ.~a du!HBp\ԫ^z[c7>M_uc>LD8`B|0W4msk_$(_wzy>.1{-L|J[(٩~`7 x8a1ŢH+#ȷ&L۹ίOdQ~>| ~/1k/Ѕ?wYx&t:3bW85P*JKFs͓BCY#1[ pdam0X2v4-+bUI0;[OG( oGEH3d#RHs˼w )S/J=VBi?lMBw3fB'N!QEa$Xf :&vtn8p PPdRK&_?D$Ȗ9bKSzAC|ԋ nETIv^MnS^y6z"NKnVv ؐ cJ4pSMYa;ƜCOy&Ɋt2x?񒶋͖`!KKB'j->V's(|ҏB.7U}C̛|{@qE"k=HgK^Ybz$"4fhX1q+Qz|jEgv,ZazJ_MQU