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   d4 ]/ MiniML:threads=2elapsed=11.844cpu=16.316gc=0.636factor=1.387zXZִF! j)]ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4 ±<4^ZD+@F uj>'H!f0*pܠ#!S/׳tQݥ=m!B]ІRq ^Bx!9$Af|MRKliC*^b뙕{c80ms9;Q s<&dK2q<)2pr"UP0f]lI"͏PgYZ7zXZִF! ]ŗXiɟ"xS2}YNd T% 鈺/u^6=6Z۔GSXTڃk VxbUo$" HKGs hZpAQ?)F7K&NqT:@CGe]gYZ7zXZִF! ?X]ŗXi%9#qw愱C\xNkk Yswoh?E[3sڔ`"f3j4͏U5D'G#P/fV1aRx滕eDb΍>̊q؄C."!|{w螐A7gypx/D5'tS^H QU*澏o¹QTxg+UP7 ZMq"$W/&Д6!UZL3&]a>!A}Kn7O3lYE(vYנQy&p5|#dV1Y"+6J3`voayB&kڛ+|/y6qiÄ`@䧤g'|!*JgzP;rM1W؅AkpF>9Y(>oH"1w8"gHٿꃎ'Z|V 5CLl,\DMWjhكsTkԴlJi }Akk;*Z+ XЙxZQ8 5