SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 f' \T ]/ HOL-Cardinals:threads=6elapsed=7.763cpu=44.028gc=1.956factor=5.677zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIxi3M2&}`?F Ot޴SNIv{4&4i̠ojl\lL&Qv4Z;Bɤ"KlZg; ڼ3_:"~7_ሥ=ķ^= :)ڈabvc]1ShRPi~QuN%R% ]t轉ӥfO,HN#b3hJAxT?CW»F%<^S}EόY@؃wyqc!3GN- #N7 [Ugoߒ幽'Pw[Nt-:CHπв.~q5m|YvxA^U&**Hb( ڇuqsxBA`?(= 뭊X%eǡuߍ~%l~b0 Hm@=,|O*56-9+&G](PR jW el`P$xy^ lF U ztiYIlyDR .FGfXl tn=/>gJ-s s`31'TKCs1ԿgYZ7zXZִF! ;"]ŗXiɟ1?ߟt;9BP2CZz眭5 zS>ρ $ -pŲl2JBb~x1;<)c牱TY  G~Fxw'啥|^qO[^z-oYS/o +];=>iYY[pig@ >$QA6̈́q#ƨFKagЦ=33ٵ%KTozV~k}-dӔ[ԋ^_Dd;&jdL/DJRȗ0~(7rb"xM[`4D g<8'3k⛵OCoߟR .hs!i ni{>G+#dxjp=-8#26|Ik2p5[26.I wq(|xɞtkQ#gb8V2R'fz j0X6P5(X.x j}O`K$h^!ǖT?P*# s{3Мڟ+e='d+1_zgWo)qkh3Y\#@/-GNMv+x(kr}:1BKl1EYgڊ@WSQeBxΌ?c?$K&L/녚u MX-Fc>82 ,B]ތg09EֻD'8{ k?ik~QՄ!K