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 + t|$ ]/ Card_Partitions:threads=4elapsed=5.915cpu=21.912gc=0.436factor=3.707zXZִF! A2]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&U{ǪFn!s抌H4Սz׻6eP!θAXvt;aq#4 cBc/H6<6<80@Es_W=)J!r1h38xss0 t@ *M&E'%%}s/%Q#wiFW]řQouZWVTH ˫JQN'f 6X/Z)ZG ]0XQO=9QLl 5qgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLdTQ͠~f>VPYvNCB cj{d&XzQDw47wRa>p2 )ek0^9; ξd!JI X"TٴCDpyơ#A.Y3S`>cFP ΰ@ |Bb+n*IJ8y:c3H,X gYZ7zXZִF! 5J]ŗXi%B)5NbnvJva.rf$OywxgO XB@(,3ϺT)/U jOicKO$sV>3#5Pzr>3펱C:贙bJd>m SWhj'c8!ZE֨N!Yz.zҡ #_|t(Lt C/$e r-)F\/3;'KDgGppqx3Th݁1L4ToT&Ij>J-i|(t{=]&$gK⧆L1ѓr1)q oJT6s!Sz")I_βNERq oJyEEŸ0$šEA/?{Ou(d~HKPscOJ8qwjb3M/)k@9se.MGwalIP^蛆 J!ؘ̻[ÇlIu\$-6^CBЀ_hc"7t>irYڡmkm䲆6ş^L"),*dt#;=\*i6apdR|3P;̳KrD^ޮ7@@J5vV1 s7Z )dbOڥvR\HXD¥]h$}ϪMGZ1vxCx ^")bRc|^Nuk&Ъ] Y0rRY^Wg1[5W~kG~7|tn;ƽq2v&nIsЀ(QHzOE?/PSqDBR^[Hko=gt6^}j^?zD0` Vŭ#l.bރL/5ÙssQhx7l`p>n4 4B´.l6ͨEgn-B]lB{ ({zG6tTqm4+SH(hwTX(s=+i!z{Hun$j^gYZ2fbd5f19ffc402b05a2510e01693af5d0e31d32376b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 + Card_Partitions