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 ;' $\ ] HOL-Cardinals:threads=6elapsed=7.438cpu=40.152gc=1.828factor=5.407zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PI|)x.HN ̹%62h=}{.7?@_q]`χ1"+=90:meNAMh=#x*{' lӯp〇 Fކ0Q7#^[<ķz Hjf/2ь׹ h {DRjփ/LJF\1y߿_~6eY] _1(½y+un~a ]BF>H9Mɢ'i'd:__eVP=P'kOljlRkx޵~I3YLIXu!ͫ5\_n5z!F ZygqQ#2/3tfg=괥*ymqdJ 2]2Lz>p ^9L!W~AxI.?o!}ܡU[I:&`1 B)mq4Ƙ!v;Qd{prw"3-F2Cj.U:rLBJ]F;&6w@H\7j:6cd@L\*m-`xTgYZ7zXZִF! ;(]ŗXiɟ1?ߟt;9BP2CZz眭5 z%zOt[pOTB]Pܕ= X0`Mci+@ ^O8.qd|lzc+PމfM-~. h<)KoXΉM~p/MKUM`𙬒3:eZZXld6vǗ!{v\z[`C8=*X:V#M`G4Jъ@?=}Tie^/+2{[jgYZ7zXZִF! &]ŗXi%>kUhB&'%ԯxTv)o/(V@;yER'r[MҲj9$oߔp+lueYh/-gp[%/3Q1M8XdJrޭB3Gm md`@"g6ݚdCP*u+]Y#rz}k@Odz٨d