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 E T| / Menger:threads=2elapsed=11.266cpu=19.908gc=0.648factor=1.777zXZִF! "]ŗXf1-/6vR[Ɛpze-&+9,ٟfUb ,LP&\?) IeA騺hT55x2Q/e[iQ/ 8 `iq|DfPYY}e$%V.1k\ T<Ýo9׺7/AY+R1=@䙎 jXxWj4gh @3c)ssMAɻnф*fB } /=D'awQV#ˆ %jjANKjnf J M7}-Mɷ>BGAC.QT W64Zv~7TEG\^,.&wQLh77먔ћ}j{cBvUL׌CP&KAF~1<0k<|oP|-3ܝlلhfAéVcXp`Vxo.y'W H8igYZ7zXZִF! A5]ŗXi%6xqk``u-pwY#2!S&Z6{u)x$?}.-`O;AC+ā ҧ.d0giGOgnGoQa߹M G3:)]CAp 1X%w$ i|"J5nŀ"NV[4li.^/2U8DX3ZM uJ9Bh`_=l~J#8j& VEj9o4Aкe~bGԁڌ! A>:Frn!_Kc@b%Yt'r@9) #r?2V, sDyj&|hBMX%` }e]t0UsWwI@QeZ*>V}ykq QL*v?-5F[ eE6}Šht niAvQ&0)v~dpg_I44nKJ+r g)㏘Ngsn#uDvCNrQu $ܚ\Ȼeu8[};4ddUQ$rY "~,ϟߦds ǏIMUZ:eKj8RИ@xﲈ+w5d4v|Z'm:7Փ͜M a" W_NS09Ҿ jlᚆΞwʃlɱgYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9d554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1   Menger