SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 {{1 4|T ] Knuth_Morris_Pratt:threads=8elapsed=15.011cpu=48.598gc=1.341factor=3.247zXZִF! ]ŗXf1-q恈͐7ӺV 6 hD;V& _w]8EBc #򟼊oZ aZavmmj }Е¡/s<)3a"At}%.CY78lЦMw\'WO2&$QKzUҪ&gpO_ҀԗaUKz9{4Mrb y ;n &Xt@,i)y[Lna%{ˆ5 k~K)Frb/øepn|$[< k8l1OGM 17cmƁ *WIRtR/Ϋ[sk9tC'̛190F~OlUܧ=ڻ<$zv dr=;r ꆡN@ek[s2v0꾏Ҩv9*š-Bd;7| #:xNPebŰ^eȠ ZodI]zKYVZ $vTWw`v9koHVH C#9̾i%~RۥZI;бb ¥eQb-KbT6Ec֦Azt[d+, gYZ7zXZִF! v]ŗXiɟ1˦r>yǬ -O?3l\OBKKʨ 3L ѣ9j n9)_ǣ\e-䗰Z(mx`}1%gYZ7zXZִF! \]ŗXi%>t{H &r_U({/Ϯi9+~:Ŧ_nhc^o(O.|}[R]o+*k-eWTE!յ[s)%[0ě#gl0ڿA.W;iڒtbJptI0]o&ROI}*#7gdX2h uS))_Lu,0cY[Iw F/MeXe4oJe7eS(*g]/yFʖ`h6( 'Q<o01w o]rSZe{Nhpӏ&c/ ZvO]l^V>xn#uH4jUDrwd$i"F#&IEa]уPQ7-)9_Y+M,RXx%6ǡegL;M죚#1MV 3ĐLpӑjzSSd:um3Lక#< 3`T!p.`j]ܵ,)~x (6Bghxd~άmH0n$Me#]exR^''"I/@ UwnFK{/y̰wY>xdUQ=^_KMi3ޔB-9 ;N.^j cNS.jqYC5AN] M{ c`v3:V،z,& 2ǹc vM+#۱[X6bZX^8i%M-I{wx |u|xM)R]GF[v+15Uތn7y鿘 Fa)[yg[ɪaʒ IVQWR{kVkyc>FMw'Q&6"*X~o\*cDzϖsEnc