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 HH51 DT % Stream_Fusion_Code:threads=2elapsed=18.006cpu=32.936gc=1.512factor=1.837zXZִF! $M]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&R͑BE%e0AMt%1xu=hʀN-+J6\팃9+xpѪqVYZo;-A~8ZQ1*vƓXeV$y{Y,t$ L&yL4yfK^,ۼ6͗}׽KV춻'w7|ٿRLoJ!HUc,dݓ/>6E3?eDpPk<~apm_X EBhӚ0p~i+oc i[Li5(2e8&M 9U+3R쫼L"l8Thp 6}T(g{2g#(g{S]|BqH+phF?}]Ͱf̅p*j */ة`M Tҍ_72fj @/X 6d'F ։`QqS&鷆g)`[>Ug# d (+5!TDF+{|O}ZJ^h[ FSnͼuY痊!*KX FBPC!ɻƎr鳽1QHX˔߬6?e,=y\5D*͆:͔tvww_"OtF#\2K5BwH gYZ7zXZִF! b]ŗXi%"S΁"y.qGrp.-S?G!> ?Vs Hf|_T2eYBHc\7Q,°U͍R5Z]rai_m 1akP)Dž,]%Eބj [m4qS@dk9kHv? jo5-i0K+*UՄD +)3V/*+4wF"6=*c]o\ĝ!!1Z]a55v+7ZwHz=2Ldph!6Ja?Kޫ|,}c>.N9~ Qbq|s喦?H@B/0J__NȜ9Q QPb$S5/cxPCA?aG@3K.U(KqcbU-5&i=?!V˶eAsMCjaf6N@jxrNܞ65 x2q{+‹s{I~\kOq 9 ~5$NĦ:5DCIA)11'P/\wP2t0gb CRynV 9RC$zO8 BS6s[zBʵFy>*Q3[Heq}-m xgYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 2458f4e1fc7369c11bb11215ef670b9e49e91ba4 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec054735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 84024955ab826d77cab683176310d62f94d90c2f 1 Stream_Fusion_Code