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 95 4  Lam-ml-Normalization:threads=2elapsed=10.316cpu=16.792gc=0.780factor=1.637zXZִF! 8r]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}]$‰W(-4gAcRSD+dDŽvSp%K.- $I'BORP~NZтдA\ˑ+<'ͥ .M@w*S /=sw!ꘁ~NLQ Z%p<(Q9C.m=u~S! VلI F<fd8!q&dخ)@ȏ ؅a1E*+JlB <lO,W"BHcɳB-mc35rHyD,BaJk-m>bytV ==oR4D Jޱ>Cr#0~]1~mMs`21Q3-W@Z{D3ڤ:PVYVj(Z+b)@ӱ*6 ja9^}QY~~Td| )$4MwdvvSbe^,L''ߍ| %QČ`zT\1Q咋zJUiF) IrM#/0-z 1wkW@MmR//P>.41'=LٚvA W^47VcYrX.@[w`:[*sE8 "s.:=@(^Va4n$lCw$T ڹ2K﹊tUڵq]4LF'֋G.rǒBj>mR@(VG@y liKW|*-?QfdtBaK#|c\k7nd/ϤMu] 0gMFUr0bEKm-j#詸y8ۀwHZ:AFF+r T+"o?J._TI^?4XWs!]V>U #=/7K,&Lɒea((@|6?CfU"3ft87)ڟ[+nMJV0:-rs>!EJ:\n -tD*<5cśEH{u_'/, H{ 7 qNmCݱVjRX՗3XpO֝<{Wצe9뭝|xg#?tᵂ* i(acv)/CEE] LVG B7JRzlk& a"̈]O z$oAn~O ͐ Tw| o%5:$OhEx_u1Ğ@f#(DiZJ^tT/:bexbNt7\Hom=x 8#s\yXJji\t'lUCt"CgYZ22153a9ee83c690aaec55d637858de1d3e4ec0dc 41caa02d23e239f82f825159faa07a2ce18fcc1e 4f85195f0384ef3a874c12c5bd663375611937e6 7cc7e252b39545aabb4716107961e3cfdda9b61c 817de0e320dd9640c7fad5af9e397d95d33e119f 8d065f375f639d3b9a5b76c07b27058e95555fe3 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d4f60f18aa580163f9123b4864e1ab9c83a94e8e728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de ac0ba63ee9a0597d786700cf629b04aac95ccad6 5 Lam-ml-Normalization