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 e1 T$ % Stream_Fusion_Code:threads=2elapsed=18.469cpu=34.084gc=1.536factor=1.857zXZִF! #"]ŗXf1-/6vR[]`^O㍌GσCU,,#DF} RP4HQqlVƽ%*,Z.j}wBy~bT=D -0HnnhaL9Rg$M%ߞ"0zT bca_nЭ̘dYKr b-.yUmzW[›Oge:$#!nkSm(tr//e螫b% b$ʧ/W#gɽr:؈UJ)iJ\۳`Gkq15v=`y7qC˶O̝:͕&5$4cP0 fsKYcjbs5c hLQ{&|{*& ֊Mh=;8(/4d[;sRI_K no1#ˀN51 +6Jp#E`L4ui4on QzxվF\蠟K//{`)O(-+J/UB UN]eqQRwٞUpӢ`{U Li }[*Fʌ\"uA. ^t;׃Q8a*wsv%T@I~ٓs ,+f\Wh|ǤQ.SwB3k|ő*ÄIvG| HY:1ێvWx-PuSZY=zjQ^-q0~Z!bl\ h.:/p꿨qSrb ̲!xV~*敇`CY2GPgYZ7zXZִF! gj]ŗXi%6xoY".U$4[GU*g0\ w/ .M?? c۸36O~W `D'책0GL(Fu6 na/ڈz`}K k-=t{iĭnG p"JC[#U@$-qW|zIO67/׊{?Ҡe J@}ubx`qJ̘?0:G>_se.4,AZ0%УeUroʏr v5#@doXDwIרc d?85[M^LgX' *-eXY4]|ߖJ/4iav꣘@{]ȫJ㟤ЂķOݥ,S|@"*eF\O<=yeHŚ4u.>Od~40yq dϻDG>8oSz(jZeLmdpPDwc*;x q]}MJUJ> tx( v.ж0F~[geo8j~e!q;wIҚ^s,$"X6t~z. ;1&xRR嚰1PݏI&NfWHs֘x;^ty%_:.=kFd8eL6MZbo xk&lۘ]4+(2 P5x P_i |ZK$c$!#yk`ǡ)nk:yEu01(RTאyx%"d_+ձ;uFrCXwtԧO:'9 1$"RxRpewҧﺭ GlfENOd! &,hyyyPi)AGdљ:hwV,'%B#1JL8+#b; SEU)^+kr JΤICAOU-W@vnh&; `Dk>^ɫqEQצq@{3'[sEo~5{^{у{ֽ[vUY}:"`73v50hը8wŧu~{=6~KxڕfJ֨8sCڔ܃v&|j36F %\p}3#/}6ٗc&{B:nkL\Чy$jU.{T+|k?TZhԚ]"I Z:PO0N^C"CcNzf@n/D &fr?ej_+^"S` 2Q< #XqgYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 2458f4e1fc7369c11bb11215ef670b9e49e91ba4 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec054554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa abeae0cfaca798724f3a1b862a46ef1f7262f8bd a1e9a19c8fb632a730c1250d9fda421ef09de7d1 1 Stream_Fusion_Code