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  q=\ ] Tail_Recursive_Functions:threads=4elapsed=4.204cpu=8.460gc=0.356factor=2.017zXZִF! ]ŗXf[&{}gs~M0lEd15p `tC7p$g^PaYCEIGJߔ]Qɡw<ۜOc?-C!fh:ol%Ґ??= 2|;D$AcVępa%V}uXǘ>#[6YFl~_ΐR&)-G%8L{-4Vu7& l]gYZ7zXZִF! z]ŗXiɟMy rr+E6IIko ќdSmnXf}$ikMcY"vHĐ]Z7tE=$9PUY8Rij M<%1TgYZ7zXZִF! )r%]ŗXi%Gl< ^D)S(˖p\P'g΅/W`O4JE;sf^1L#)¼Gc'#|Mn}=tY81 δ=-@wHmܴ4i,E::tEI\&Q%{%m8ŷNo3ԋjѹX~\Sn#nQ^YPv,֊zt`pfSJ`~r '֦~ Jؙ3U̥"`^_ .cR-e'[DBX{9ERӮu #Dmy4|3 ߪW:5Fjn^:~Ϫ PM8˕`@{ 3kza1aŵmkF sbJŵ`q470X 3ʏr$W~|y^s$c6L9xw{_ako 8*%H[2WW9WGۗ")tDY*G&"KZ_y%]M'c6\xi6#8,;eI-mh\l`R֙tT>M5F{bA'L]{\yx>Kz1Hk}+h$ˎ0c0~M(DGj_g Aƞw>ҰHb; "&QR2_,B[ˆH|ɦ]RJmgYZ987b333d4b334366152a163a87adfbe0b6cbe5191795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 6c3f1bc9cf6c57af01ac3a1cc2e6cd8e2c05e4d1 = Tail_Recursive_Functions