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  L L1,4 ]/ Functions:threads=4elapsed=2.944cpu=3.752gc=0.000factor=1.277zXZִF! #]ŗXf1-zȟ(%xqِI^jqZP,Ŝb݋sQ2DߤIQj W~+ D(LHؖ4Su ;Q8ހYߦ\$o@ś&gYZ7zXZִF! G@]ŗXiɟupX鑅H}؊'Yx0EciD<邘Z\1 /\HnN}YZ7zXZִF! Q]ŗXi%B۾2UHv7IT7XN˼UFj㬅xDk`6Ѣvc>+9$ aIlL#neКz0;&NJn$m²3dUZc\lYY'itYLd0js3* '٠yO@zGQ)ܟJcWm+^0-ןRN g&}5{G'-Dx̝ZRq3Ƹu(<>GQX}3Hh G>|ä?--yQ$zh 0DhCxVhhDæ[|1o:{֤p}K4C}ʜ(R\DIZèm%޲MB>78A}n?2EAX['a}>Pk,NW]}O#`ߙ;0bBIt=-/P}w:IujB7kނµ_y9:"r1pdo0)@QЀer%(x%0dgYZd925510f12a6e602223342a82a603756f63617e576b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f   Functions