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_exports‚h77„otableisabelle_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  A A‡<‚$‚‡\ ]/ Main:threads=4elapsed=1.036cpu=1.104gc=0.000factor=1.07ý7zXZæÖ´F!ÿçì àRN]Å—ÔíXf·ÎÁ©é1Ž-ÑÀÄãò·߉ôk¦ž3±TÔ¤±MÁ2G%fSÐ+¢f\ET)1xPˆ[õt{:©§mñl¶3´`E-°[Q£©jSH6öM¶ó}YZý7zXZæÖ´F!ÿçì àA=]Å—ÔíXi·ÉŸ™ÁD|%…)úy¡w&í)éà5´¹ŒJ|4ÂœžãÓÉ(p…¶è腯̢ô’Zs°Q ûYBŠs-Ó¶ó}YZý7zXZæÖ´F!ÿçì à§]Å—ÔíXiÊõ%”G«íáô£÷#¨ 'KœÀ<ηÊxË=YºÛZEúFäž,1çîgkŽ“ø¼J8\±ì&Ÿê—w»%/Yäs©¶bç_' òNÛW¾œq+BÃŽ0Þ‘E f\YZÄUÙ£™Q[[²Á8Ç.ŶۚŽøLÊÇt^$B5BV^,­m³Ðmˆó Ñ&-µ,¤„€»šÚhZÁŒÒçAAžhCc,]k‚î[©©ÊwE¡Müµ¯®nBuX‘Z¼yR–kGS­€MIƒ1¼¦£v a|ê˜rÁ0²¢ÌEõôi jë}Kæa •‘4ò2¿¦&@ä=âÈ»¡ÏJÏôïk_„Aa@¡fMÉÑI.êéõ’/24ƒ´×µ~ªˆ-rΓäåf,_²VV9S…HüáäöšjÕ H4ŒÒ®@ò¨›Òs»• ªÓ3¾ºâј.) ÊL,̸Þºˆãëßs({ðËŠ)ˆ¦*|TžtòÓÔ¾2KÉlE«ëää0mðDïZØ—=¨w]žT>É™?‡* dÕñp1…±ÄgûYZc1267cdefb561c1c3c0708132faa49d38751a6e34e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 øø Main