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  dVV#KNLN; Hqp1ȁC>؝Mܣ ܵD} ?"2l0U]eHOPaz'E ^t 610k8VH/喔5;!h|T]N3d R*j^"24qJ\fm]%䉢yw;csDmkJɺ$4)?1y nN_>fbK>dk{@9n%peoI/*fr@\i̳𑾝sqWr!xg`0Ǵ,'$Jƙ}25&* 4'c(R׻n1{pɫsŷ}>dη-r{6},♦Ԫ \jle2bm*"թx}yM3x7/.։Oc|Cwa &%$#!߱gYZ7zXZִF! U]ŗXiɟ>Ӈɇ9S2]ʇG+Gʎq9𱨒YHs0ޫHGx# 0hz1(ba~Vɵq)b=\$tZh*,yHP-/ 0}P'_:ZMFZ;a-mtdfԳ~<>Z\NZыKi51ZXG,^jyqSQ#+h:(]i>;U]"zV%/fBZ@%#sOq7cjDaVMfcP8ke x_wC>ή$~ LGڎH!aZH+zJzo\V/{Éх,@U(:M$i=ui{+et+(,Kn|U3}`SƮ՜5nb>F#;h&#Pmf(*3bV$Ae4ا+i|u_S>F}(n>ι(:Msdy>"zF}p?* m\o+]!rKj3<")Z 0X̊e*J%AlT͏jף3?(7Wr"s],?z&Lʟu>@HYjQӄ [Y*=~ :VʌjJ$8wĶ>!wKvNz*~|`+MB%EFJjYFwXά엚41pzu[@?:讷"J?H.N`պxjln8~:!q.p5t  Χ5GRKV}Pa9G xJmnKCI1gۈT?bJb=I<_ O& p"hw/T2~MeaC-MVB.P#T-tFIp?>t^siµΰ!rŸ'i)&5`0Opu2yw C(m^V8 5w1g 4zaԈҪ QMw7q܏vVz7gYZ5045e3a9226003aea9a6c3c4cb52e47ba73d3204bad23ddab4c2825c2baa76254b92affb4eb1797d 98b5a5427e7a2db6514648c2f2cf437d99d2fb79e76a8dfa0d50851d7336b56db1a424ee01fd0e1c  HOLCF