SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ``-d _S Lambda_Free_KBOs:threads=2elapsed=61.117cpu=111.492gc=5.484factor=1.827zXZִF! F,]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++,Ra~p\~g(M aǾ"kr^@>tE"zk$ wmpgH8+Ԯ2nu!ݓi$UZT?i]5k)1c'r=>DA\#HT?m+rk-1EY#zPtPǸ@`Ue7Odr'<CVI1&%V|16Q h۸c CencDFBc"MmZY|2b+H½*s& Cp.D qwɿ`-}8qEvj>]AVeq, Ƌ z],ݏiO긜(n_fՌ@Jq (yl%8GpaΝh=bAֻ+mrnFBbtIhD @@%4nq_p˸"a a0KBrջԙǏp)&Bt%'2i%pJmEM\җ(5e:x rVcpI;{{`ͮ6`DTg){55߅F'x"rt Bp'CshZMJL;^t^tT5|`G2竉Zi{"۠}xCYg^e]v|b [N]޸mۈw3껩ob]˹ASR͌#9`b]>6h\G0=ݹC띚;FNxB|HsKuͶOՋ}]v~{H*Ӱ$G7l&̸'ΔvȚeñ" GD?9v.y熪hRnˇWhWnENS1(1!({䁄y: 8{, `trO }`ԿB'zq+pCv{ wK4L~K9r nQ;G2i~ frl? .޼#\5Ez^SQdBu3|n&JhscRi8q - Lambda_Free_KBOs>C`;7H,*KɅm-qouQf{ې9|` Ixbi-e/\"H"=]A #x1qA{Z AZV>08~`#]~L-xN$,Q,gMz[O%'S NIgyk([yre;4#skB1~ux 4?Iʫ2 7C ACHWm=rS4XѶNdc\M@i=4JO ̅x39C򍾾9F NEs1 033e +^;/H}Q/aY"klx"1gNjT}n}W.\R l̥bLk$qĺDU$#z@@ʴOpDl(-&"<‹wiHbCݫA$]Cv!/ˡt Fp[p y[H$q]GH^R49,wf*1ѺeP5/fpoB+eNe53׽ F"a$X3ȍXt4)lR0(]}O"Τ~pL塡whp@j[j7gd :5Ĭⓠ Er.{:Vbf0xTsfMe9⭠0L,a6!nyK1Z. 0vS ''Dr~$:0)vsϵfOnῚA<"sEA?g2 X4~buA캈HK0n8H [.8}JY,Vab?y#uI@Ny|/Y:)x@ M! l fX B-ѿBQa8ey ߒP#O܋C5Ka< f2{N,9>NYJ5dNTdv.Dlb(^b rN}c/-; \R9n2QC?]'jy{j~/w~Ӱ TdS ",F!Dl2d%5#<$:[Z5t'$Ur{N/yq[7 aglx= ?J)61R8m? D%Wt5h~z)ksJ{]\TnW80I&8s鉜FM^h zٸFXW1ms< ÊC#|q͖Iifܚ]KOCF"0<La3Ϙi'E@đR±qmK?6STjC6C ̴Ly37MQ#{|.V_qPۯJW,lp~Ǘ1z Fg_EQ^1!sc`i=N~ o /kܴ18rCFs3Aag?Q߶V3ƺqeF7AqPNH9 |m+]wqld }?>ƒ"װX "1'޸"wѨf\4$Cu9G8>} Q 찋M"U*^-zCJy% Ru< t1}>et:(HI cMzijWX\}X)yiKSZI[7J\mvHE+U?ԂknCBeγJ>Sʇ! F%Z PޚZe0ܦ^Yذ ] MradC(9pZ޿I=,qK X9xD4;CZ-f%'Uwadt\kֵõ b/ +Xdy[ 3 >HU/M<*h@#"2AsQYkG<'ŰTt%i"?}j!G"t;e"TUZ+B-<Uxs{]'[#VpLz5Nۡ.:xi0\ћxǮq Ht=k~MO5 `( >o_m U\=H16M5="ՠ{޺_/஍x>؈ǫ )8@}?ڨ从/"bUT2^6AzJ:?hIId$񟣳WڇzT"wm ˁUЮf' ?,|ڏz5| gO5`XVԴWMZ*:f"gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 1510cfe471334e7a74320669945e2a75245721df 1795c366c215fa2dc227907a5140cc2fde9d91b5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 1fdbedad69e7304f0c14df92e53f8429c47faaa3 2369b4255a3b104ec1be54a921fb8ae8a6c95b8e 2574f6f8f6502220b8f0332433d4dc9bc3cbaa87 2668664a4d6ebfa0a1a122ac595e6b00afaa2b3f 3216b3b9331d73ebb4839533719e9fbbeb9e9e5b 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 474dcb8309152e0c65fc926b6b25bdfbb0cae97d 489cc83115622e6abec1120f6a9cb06376b51e20 4a798c78433365cb2f1735c76d5264de7eae3df3 577af747421743018e6d9c79fbcbec9a1ff2305e 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 73c669b52ed7f24685c6fd2706ca64b83cdbb042 81de4762b4e143259c5d9fb6b097811906b676c1 87c940b52909a60807a7fe1fff397bafe6a6ce18 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 ba6c898d6436060f3a6b16797d5c5e9f8aceb483 bd8a10d8b8af91647ad6b8199ad78d256018edf2 d8b591c052c85b1671e1d7822571568590dc3e35 f8a2a5f8ea055089153d516e7ad53e604cfd7bd9 fbb41d0aa9e7731b95122619e8a4b9eae61c727a554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 53eed378a45e148d21cbf0e6b43f6a46715cba03 88cd51e4553be4733f1c4f9a3c74df533572b31a