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 ,/ ,4D ]S First_Order_Terms:threads=4elapsed=6.239cpu=19.216gc=0.776factor=3.087zXZִF! ]ŗXf[&Cz!iPAUY]6{uϥ?+;jQz_4YUwvlȦC19@ xWu +%jpʖ_#[}QjoMa;&ɶqI"Km4@\ӫcwd B(-@UX(^E`2*kzTq"X6p8Aڠ |a74uR7[ $$zډߌ ºQwS%_2ҬiD\Fbne MRY-4gYZ7zXZִF! ]ŗXiɟ饜وYFh8ꋊg6ɰP85|16c/yCGdJ:)([ O~ ?+]fF4=qk"=e8f9X*]x05y:|4RZNhxS.![˸.[[GgYZ7zXZִF! :<\]ŗXi%B:g#n5& evIMN!;^-zgG ڋ5;Pae'Fin՞6 vIݼlwp[@:ɰWvq99s[DCuGNʩ5F&T0k<OblI+dvTn\t$Fj ܮM֖4ZsO'GV%ZîvBEvHs ) @gz-J^">`5-{'DDqnf *o5[ӄjhYAֳ 0~W.7S.'|!e>NhLL?*'/<(<Tރj5\h~ =AԸ+}˟wxCseOKNf!d湲JC-Ӎ%֌7ev@0cQWP`],5a +K$V<jcUb-9[ ¬m0`u˅\mr(FqQ h8K ,U!fQ/X(, $VPۘkI.5꺉,yC wqƸǯiW{"] ʲDܣ @} Z3g,R33:d;kS ~MyΎ;\6=2Vnj=]ցq]ePIΑf/n>!/P7Eţ.,dtRgYZ1b513b4cae106c5f6ba301f15cd5f761f959591813f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 b61779dec36493adb6b3b0f77b735c2117318b50 / First_Order_Terms