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   4LD ]/ BNF_CC:threads=2elapsed=20.696cpu=39.020gc=2.956factor=1.897zXZִF! e]ŗXf1-q恈͐7ӺV .?2ZfZu'Q1wλ]%A,MP0\Bz7db% Y tZc W^r{9`l ^>3BʇKog"k@A8# ,aw \T=/=3_Dﻳ67%`}d=ǰ\C,֧}ʱk*?TdˣSŻnhTd!D yn-Q"h?*L2߾Q}V{2^37l>n$az<ݠ&̉cOzF.$ ODZŻ*Q>[ l9ڌ 4);X[mF"ld埪9#\ѳiu^%PCho|W=Di-V 0A.:?Ⱦv^4_9yl2'FM 1Ж ?gQBPƤ OO~ȅ(Cr@%d|=X[ZQ"Q `4Tf_:Ν1&re3 \OX 2z޶LKG k @%~7Ŵ# + i*kH0?_s$C mMz3g ~ձgYZ7zXZִF! B]ŗXiɟ74p1=MHzڰDbnhe甽Ϣ"8sX*P&TRQhTQJ0e߹ZN0T@8ޘXHs aX1 O-f;@HPN?ȢC9O1[XъphiWaҰpR)8bT@N 7&Y㨑J\}תۛ[DA*[ ;3> {f߱x Ee_U+J@;% @a>h*jWE90!ћu9>~% I6wCLK^q?zм7wy,ne 9j~FȬ 7>e7:XDo: EO!24 aXr\bp#8ejbHڽ?+j] ZVgYZ7zXZִF! sd]ŗXi%;iBIHcNp iEZd"wA62X|‹`wZ.\vN} #6}KRBj:Ģ%Dk k6mǟ_F |r yh>ԘL7[No¶mL1XhsV~hH `+v:i/+r.iFB%Xqt$6qANUsbSsӏW}".I;?X<,Sl wИEAw%$>^XX_Í}jt^d~J-[ 0iݥ֛S3xkM賭q2CߧH; $Su춞H!QvEbq0>5ɸ4tꖡbiKu&(yr8'4\Ԏʝ=X(I=/$C4szriF<92'2xTt0,EDTĽqlYs61LF"i}&P 8*Ml~M$+Ec'>3^DVSChUA┛ uN kWBNc.:1*V̧D@+@1\LބcZ^V?+=XO$oiΚ")s<61=Ra5H4ƞY,~dp Zy@#'ո#|;טxftgjw|] dpKt'tS>CU@-E/! }|^tP ]3aË5CZ& VjwHu%,v{I?T` UiI ?'aϵYr7;khcpgy(C-oCөe=eg>y`dmͱ5Ll/Z5q G&m ' |u(I p(ghV6 yDuUg&hRul7akjV  *<'I+3v.t%=tsu,r  H6TgYZ17ac677d3bd8a129edbc57326f708fa636368f01273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625   BNF_CC