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 JJ3' | }]HOL-Cardinals:threads=2elapsed=23.970cpu=43.684gc=1.780factor=1.827zXZִF! ]ŗXf1-q恈<-¡$j9n0.H. =.;7,T(.(>*[ 6Pow}} 3i#EHsSL&/HA0yåaQmL-5݅]m4 |7_@ PjaEZSggTklZ\Hÿ(V@'ҥrLGSH4}ρTfHu9]#Y /`FHXg|5U:3&[F}Iua2r4K~0oSz2u_Dہ Tc`M&MLSj=Ջq`&IA?n_0~*Vt#Vvty&-ߪv6#`)i@oЪveD^ょ#f6qXݧl:0!~ɢ6-H xYuUl\LS@vQ\ Yr܄euh_$..{P] /<:PH4uY[Zwÿ XM?)sr&oPWcȆ+ -.GtʔbU{E^ᛴ@KPMa44 AUn[i$F?PGpf" I 5v4)C7kC#yuM΃GZLIiG-ScѣVݳiGu ee+K#Jp,Ҍ&,9]bɃ56'HH"qOu`7V?".nLqPђ`951ֵ9 TKҷujMNLf-Vw8I,Wy݀m3Qi!؋U;1N#ީHTdLپvO2E vU,YٯÅ'~6I@|__e֋XU'FB%(m9crxi׈ gprQ14d)I*2ʺK 6[ˈEOeH 7§WV]iSOn  b;@pF"0|t ȑ`O<