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 y1 \D % Stream_Fusion_Code:threads=2elapsed=17.750cpu=32.864gc=1.528factor=1.857zXZִF! ",]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]S8>D_Ajt=$?ۘpDegNRn^Zi_Ty;R_pF͟#פy% %*ڴ6Z">Ycp,Ua2e4OC۫ց [h+Uʱ/Ǡ)Z#&|2eūq>}-!rjj.#e]*LO_Ep/Mp!O52`lZ\ƋZƝ,kC}DցYԇ- _Dnqh<"Shؙ OзCbGuξǽ +O$,i>\8|Z vZEb^g8ma>SI |ߖ˧2R?VbIpfx=er8G /VtySԮFxDDϣgYZ7zXZִF! `u]ŗXi%6fBRiIl" tTZ@4O-  c%ؾ`zz"(U jIE1b23a{C̻Y6"DP&Z&n?gtxwYu˴"iL },C4iqHCFUsGl,WxV$$aYE R @"iZIV[T|]mkJڈ};-Lfrz9o~BӵSČv8l*_HtZ?v4?D+S/rCJV$T}{.!`׺7ЬFYFI'pw 9!3 3j~Gy&Σ ۦ7ꋟ=yRl˜L鄩[6`3)Cqᡑm3޾z9=N0k~Ӯ Qonn?U"U$Hو8:[aus&F|H˒:#qjHhفI)*KRǩWψs %dI Nށ_5E `nLc^󗷮daZYY̤V -ȅh"T`"\=QR YdÍ/Qr/Bbz恻h֤ڏ$ۋisiw j{lz>bQ#d }IւiX8]pu+k^ߕrդV?ZAr!Qj=4P#C9gN?hL rEVn < dOk)7O'-JX3΍_2*Ls,qK:8LjКWXߪN89'_rк|D\fMqFh@WGE '̈1k\_0ocʱQ60&v]@^AN@&CTfmvOj%#d ;WdhW͞- #W܂ Քc4{1es02JVA~ ռK.Zq0njJn%.*E=anl.PU׿[jKFՒhBM~t0ѪACֲ(u6/|: 1 m|ZHtfĺ M SgYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f eb81db9d877bd29465f2102e24c4ca792cef95a0 f0e5a57dfdf7f6cdacfc0b9da865465b469ec054 f99ee1f2d92f36615ec365d1532b742d63c007e9238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 249d310847f094e678d1cebf7b0b46b190e449e8 1 Stream_Fusion_Code