SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ~~k' t< O]HOLCF-Library:threads=2elapsed=16.995cpu=33.036gc=1.292factor=1.947zXZִF! 4]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S82_X'Q!hEdGN'#h P>Y/< RRT[8NyA*[d RmW=60Ȓ_QK( U:=s} D7_g3 PBՙ,m_偉9R }H%ksJ e.B> #N )^NUJ^kWN;x0xEywg["~iarNxҵduz.q?BoKю}\!0m˻}2`HZ ba5vvYI莤OLb_HG&fZ3M 0zb]2˓+v= wݣrSNhO 'ĭ[9% c횂!1aŖgҖ+ܕ+}ydTGf\:^_`d6,~W'mCbe /̣H ' HOLCF-LibraryhMpnW}P]l۶ur!h.l]RF5B"n'ȑqu|;D͒e\*#(BJi@q6IK9.bY86;y;=:/i@Wj Z;`.(9mF5U V2A?v-w=ܬ5%0unMwvYf&c-Cd +zEcSh}S*zC]Pf*#|,Z1Nӹm V{[2WHZlֽ!>5S=lșܴ)2oe5bEtݑ/Ț͆eީZ˷gfLNCF4S_Hs߃nW9Af\bXfsL)|WX^aHhbI Nl>DIȥyvOkdSo <=@h(z."Pt)2oeE' r#E&p b)|O-S[fZ$w=;b=v|p2K=!ݣ`\v]1Aͦ:Zc׷BQuW*NDBr6"BkAv=/hV>^"$kJ5Wpյ:zD?<^kHI Psz!:g!\hV^:IL6q 0.o"C؅sˏ4} CS6If37Y;eی^H NHȔ![KJ#@7]<: /#U.Mg8CopMU[ԆN>)?Ml1'&W%~X~C@ [)ZܶW"A ~ HlTPu\d ٠e']^T#aSf˹wPu.6sCJ PXC)' y94J U x1+4sVeyk ofP2ͬ]NKT@d1n> f;Yς_Iy!NR׾k15ʏWC.LohٶK@ݛ͌x{]P$.jt#Y-s.a4iy){ n.R=Z59*nz?V;K4o/.#8V̏ u^Ζvɾ)2duڍhBsbXn:MrģFw[臔,&a80N78RbrT5#g>T+U^M$(ݯ˻yU:{+Ο!TchdM M C^?v+K\n^18[2f+Ա$K ikE{и[ LBҼ"(=q7/ֶ3 gYZ7zXZִF! O]ŗXi%"-Cj8U[h *VgDf-tQ@hL;eOAF~`Bд>t^A]*t>Lz<ڬ˨QXІ;%0izwz:#.a~[B%TӞĈQV\~UcHVׯWʧғ*X82+K'V k/i/ª9vPϺBSSfr=0#^#0'< J>v^trPqCSL 2( We_aւ1/yfւ"JOw9_8k3ZVǸ9zaRwc7H;ƈ6NvC%41RÏ_*NN6b4H,--4uk7i!MxH]<mNb FzG.K*{:0lXnZM4a{>?sRC;78LOgh+hE'a5MP9-F/ƐZ