SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  u=< w Tail_Recursive_Functions:threads=2elapsed=4.702cpu=8.204gc=0.320factor=1.747zXZִF! {G]ŗXf1-/6vR[k})d4m 4o=>2VW3<]|cw+3UPOՈZ oF=it,͍yrA2cG8K`^ M-yܥ7Js4meZFlEq6~&"h}.+o!Z⹿ ,[NFGA%9MNh<*R>LS~+ gq\RJʞ:G)\>7x ]m-=ڔ76s1F)Ç_e gYZ7zXZִF! ]ŗXi% N۔{qFӢXxcD3>5i&'fɱc<-[\`mWPSeI3:t5aE\@LTAF^]9u?F{W}=Lߍl^'Fz%4 +)_|ZaؙT& pڔdqP(иXaEC<gEƹB]o-kEGvT(hb93%eȤW:B& }pl ,]LvmKI~6 Vz07&2cvp6GWŶƉu5Y -Ju4#Cwnpd: Ρ-]Ɲ5.U\tol^| 9n^zU G ܮ\^d "EMR\= ɶp m '{ eC4Rve,zPʸܬԆZ8΅CƗ0Ǒa=h)M@!c8&XD}vUVz# "ɫf*??yO'f"w`3ܼ]>d݋mn^-sWi?j-6 6O1ޅF4QtO, n 6IZ9ڇLDRcIh9SmA&KgYZ482081933c65411080eeb8dce3c87e1fed9e7f2f 7284de7108cc21216686417c9c894a2419534c28 bca9497c07ee6e8063469840c42e6880fd3d4705 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 ec0e142c5493a009ca2ee8a268ec69ead48e8128 efff4aee245ec79abd34cf37075c419562228046735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 = Tail_Recursive_Functions