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 c Lambda_Free_RPOs:threads=2elapsed=19.325cpu=35.184gc=1.416factor=1.827zXZִF! ]ŗXf1-q恈<-¡$johkX2I)􈔱Pf-@\֯)sۆae#.bEIwcN8lEI,䦮ζPd"0E<d.m4u8ygŦ2SJ|e7k$k0 @ô +pn;7|<8}&j Z#Kd˓,җ%W\ƶ($bQ] =>6rrzW8BGzъo+#¾\p5ۛiBl9Ƕ(4ëЏ%`y XzeR*M$vNuvƴbX*]=4y̖TgS<҃|.h{p;0 6M'S.pKk/pZp3 ]?ody7SM(G;@N` MX&еz_ w>5ifEC vS&r^Q-9%i?uOgU, i*f['|6jUڼpL,2j@l9Qd00h_!-^mLFyE-_'gYZ7zXZִF! gq]ŗXi%6uT=[f5S㰐 KEF)qfݨ߽fm^/XPp3@]2.-.Kc:U h2AyCb_%O])]˿O{TrsM|!=$,oϴs%v 0$+<5R Vg5(ŽC}灭GT!fdR BƱ{Ayc" HftP'7V!/=$Ea~.r,;K6S,؁kZ7'feOLlh|SNpxy@fRk )iE#S hVg8Y0~ 5h鐝02 .|Q+$Bྒྷl++2@__jZv26;$L@PhuHO@t?k .HˌQ8p5v:8 >庋2 "/^g;Bw*,%MK,pCfcZrѰO %`t|hdQąhj"7fuƬ9dfZX:L-Id=-b8O}X$fiX1Y;[>b k6ɕ0"oK.ϔscZME4cE 72ȇ`:DkYd۞WN'/KJElw ,x& *+fa]˳Ҿ(TRdUc&ȴ"칮j8)9Nq;dDNf;*,a1cx[";8<P(3{$5sg\ P^sU&\50AѤ, BjN!װz't^2bBCrOm;vk˚ *^O^1ԑVC{#C9iR ʎ.JTg*~!qf1ьxɅko-]wz*)pe0~ƞ{QTX:dʾ7Lj?lt]̽X* e¸Xq#b^] J8~j$:D ]BiNFɩ;(6DX,}$,F8ev;L;1>/D_]*Azy-)DˑU#㑦*lBvQfSF"v2v#6#FǷƽ GEn1evTu>m SOSgY}kp}|~bC.DB}m5WO=XΆ1}08, *6@D^MӝŐ*f[,ڍ64qQ:)1o0H#=REC?4rPxdoògI@ڹG1Ӣ YgYZ147ef2da4898fd7abebef0d9c6fa4e69cfbbe650 1510cfe471334e7a74320669945e2a75245721df 1fdbedad69e7304f0c14df92e53f8429c47faaa3 20fcb830b82ca4396c7e8704f97b2c4ef8fe6d2b 47b7a5fe12e0a6da3789fac4e79561006dcbd253 577af747421743018e6d9c79fbcbec9a1ff2305e 5f5e53ac73873d20e2adbf647127b736406425b2 73ba0ed3ea2540211a0a25d3a33ba20c0b635cce 73c669b52ed7f24685c6fd2706ca64b83cdbb042 b6973840ec5c79bd127f8e42932f3ad3309018bc d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727ae4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b - Lambda_Free_RPOs