SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 66G <| ]/]HOLCF:threads=6elapsed=11.933cpu=34.964gc=1.860factor=2.937zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6_=6đ/ 0cQ`Z}rI9ir OȳGi j'[X©| nyqIr E"O8؁epUMlF$!l;)AҦra_nm6쳌Ǵ UW&I9aʤE)-Iʊh@p6>#% 'r~`*OTiʩ#wTQX0lmTH.8hz/+N: B88"Kk@ۍhs(Oe7Tέa6Bŗ )v`2 dBkAV?QɌOHpB鲜 Mr V.+h8%ĀP~;J†*g:l'wֺ]ӬUn2 yL A; tLèpO1\F 4$3&N{}r~tRK泶 ,7 akuD"wx@{ 2 ;zTU ;L7DYUMbRqTw {h)w;y`A }ǃyF t0rRv#BޔgYZ7zXZִF! X]ŗXiɟ>Ӈɇ9S2]ʅ?% `X;9=Q$ #dɲ(2K`w~Қ9A"1X]6Zy%cRK#o,m8 Cv% ]X̂V~36ؠC'G?}-F\8b8av9&o ?+:(F4?9B>2YīO[?;4’)|DIp̩(Webj2!K"i>kg`; 5_ rU}a%=[s[ ! Ka,e+DmBQ,*{d]tj׹@|:{lt2ṞgYZ7zXZִF! 8]ŗXi%9(Pn,7?J=6N:8Dc1$,DL*`5'-+)t G`mOL&a`ŎY|Hh$[ reuZ6,I!p }rf=,DuN.O1$ g# q\kߏ{uSq7/R9v7P@SnB_>QC6▾+IؑR6xel\`ٻ<eZCxBтy`)s2GbC)XZ l d=.m cIlj " gya^'UW fV?\v,+E5fͳ#/# ȕR(^y/F5ĜzȼU;C?Q͊NPZy^e2p6~Z)[(t (#00pzрs YM2)0SG%|FPm["kA$' di }(4 }n?#|_KXB޾B/z }yg!] u 97N$,4ªw]RE VY Z\/J n*(0v:⫱ ) -d hFlRP@,~29nPಾFpϖ0皒D~,3,1ZFFF\/3E5j|P:Sq.z+pٳ2/Vj YjAc8ۏ7pwVo#n( p2#wIMƬ T W9tZq[ gYZ513aa6d703b78f2d55d0697fcc019f61e4d713815bc7b8609748a10319dc3892a3dee59fdc4e228c 8d4321ea3a63542efcc2eeabd02c563b82b91bad6a2336e5cf5956bf64a1dbfca0fc98ada2923bd3  HOLCF