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   s l$ ]/]HOLCF:threads=2elapsed=16.463cpu=32.168gc=1.652factor=1.957zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^Vi n )ERw3I4}ćMoPIS9-wJkK.c!t9# wN1$.;Ľ!vMh a8.e;%Й!w\ K᱋x=akN_2<#Zd=ͷ:10YΝFQٖoЕh9`s2s !GH`gȓ/Tv%nGLjޜ`b\JOc+tlW1U:++\ؙGo8!qCh)nW5uCo6z@úNjb ]"\BYg4zY{XV{uM`U_S[TcniUZu^E TUkI} *7z~-Sd-i@#C83NȪ̈IQzrt [oLFRXM科wO)Q t"n]jcU~1\Z+y |B,r .la{ V\N~Q{BFo(N56 3Fm!&gYZ7zXZִF! K]ŗXiɟ1˦r~KunύNN{_@4Z8\)^ZY!sS[ ,HއGJ-"+)؄qcW9~}= Dѯ5Da-i6sn~:'6/: ^\lFk "f!6}TDͭw0  N }Xx"l`sK~e,= 3L4{2iGHK>KF%wĦ<*]'޹&neƱT S&ݝh,%/"IgYZ7zXZִF! `>]ŗXi%9+f)h N%GdE^z`aV6+|R" !PFr3V MVp Zp!@n7J Uu|I$yszL\F S Icp[4"$IJ%c|ҕ:s֡_wqE U;#ӉggA&,$ _ͳzmx}粗Cn“;DdB t\DJBZrnт,$&.V 2зU点EqwaTo6(=X!SE7JۤD[[ˊrn |_|$ȱ9'!ZnC<_7?ޅgW"qts*w|H1 pKOM+n_Pq%&кnqIV'sFDpHOu-t8eȴWJ) =A M;Bdc=|X oK[Gw /OvyȎ#1(SM#~V29<S;IKL ]@g<X@!6L#N w#s^ldD"jO7Gנ;ּ7etュ 崁sq˽ޘ5/KmUcc 9[q_ Je>c3;f'V6FR؄]>v75uf̶mr"4I4S /uuE{;nşS#7`+4;r9r[v##m+DFDŽ;+aV{1_KspFl ;YI|z3RI]Vomb\kq;P!Z? "6ͅj._s%--]A &7^4bCRXXh O}|%?=6%2cWVhΖrwtb:("fmWV \h1gYZ344ac2b7bd361a5f01905e872fa84bd52ffbd73241dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f4400c52217ee265f36cb0323afec3080794ee45c38  HOLCF