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 d6*LiruBRZ8}fX厵+z L ef#~fdB 'wP"zH@ oEc6 *I6r5;~7+{쀕|TV   HermiteXek0B#D(Qz$ 0(˜^/؛I,ុZI"gUjߓ׹A%\W Ta)jrjEu./ƞ_k[0 6@zαgYZ7zXZִF! 4 ]ŗXi% A(>cbԜON*1'&p@USex3:SJòc.`;dR8&]ԇkۦg(Oͥ)NX݉w|@k { $T,v+YE #Q4XU-_`ӉDʬvSzi Gb;{j\E8f 䪑ݓ17CsrŘҗE<1@/@HQޜ* A柙bq|!  !%:Fjx~,OIՁK4VNܴD_N x1j!f:: Y"<̐XW2d6"! -QZFjίá ݄mؤ ayQ(~D_$Dt i,kgbSk R Du};Qw{R9ŶDŽS54yRNQ]ꑷG}~4$o^=c!QS!y [GF=իwI]Î:ء\)n}v@x$.LXe㇫Ux?ɚ Vjt~~Ҋlx"qeAV\qY ";H,3/Ms?X,_V#( m=EdQkͼZ8zvZ4n8=7R}3m̬:%i+ph&4cgWG_ w~ժ^NL68R}\2 bU'fD0'3Z\fVYvfys~X!WhqdAr.1f>KDXMrX 0sTzE.&#AG5$^|L]ݍC,-D0"@؅'W$Ƕ$Pvּd}(HxIr%AvūElڅ3ow^{QqEe2Njow0׏J.yJt՛0Ý_JQsug;v!G,,/{]۔;O]YG7O0V;[N՗&`moن8dj/PTԲ!D!;raw sJar3⃺$l [K|NZefZɽj3fΙ7ˊfl% ,0TF|FvA FfbR|Do m) c Vux+qa%sj{Pұ.?9=V'F(ph'L…4AMtL(P|Mv˦7+'χLىSVcR]ˮ.n 62C\S&`ﺋѪ?un }'lƚCC-#qN3su0.59O8ahw/L{FUbpNv:e/G`66M D^t Š"g+VͪLlt`R9sTEw7a/PmQ{4e"I6P6\,Z7ϒ줬8$*c ťx5FjV'⒆:D: j%;۬ݵd'w5Z{ hmlrUCfC^ЩRKqOSe^U@Bҋ432C3j圽6d*h*[G[s2,HhE`K% 6pN6A]VQQ -bT.ba%ߙ*! *fb،f[`ǝjp0t3l{(A; !Gy'N/ˢϮ/|3h{J*F)7NT b_64@w 6wU oӏp/K(mKWM&F|V2q 1j~LM~Dc.b䏢MvĄ_sYb[Ak#ӳA"r{%):C <b2`U +Υg,F>g7ZxANx4>J #"D Y*aTC)Qmײ7,~E|,7?M=AngxuX_ ZON1`$yE]V%`,6$졶|e%c_UlzG-<Ӵdi[!=)} 4F2]|wfz|DsEEiz^9Vߌ_5k"RYJiycqR];Id/#ROɟ߈?i3e%չqp/zH8z_J¹r#Kٻ&8)4^-RwId~D ;p]M}ާ4<0OݘjK8g\fDJdYSN0Q6J:b鲷˥CC0x*A~٘ Df?YuPuU`*q^HqN pdY:*~gNof&R{8 ges 4~cЛ"dRR$8*UGY!Ju9b@+qaW4iHyI wDlΗ^X2Rl[IzcT>Tߝ)b {'废S4$c-%]6I۸2 @j/RpERw8gYZ0ecbeb6985371fdbf44a0f33f3cb0a5fe08ee670 4179fe3432dab15034779bf4ae7667b8a33e35c5 5a591ad33ef46abf86e4540006fb778ce9ca002d e9bebdf05d120266d95742efb3f9f02ec59295ea728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0d 04a809032088b666714457672077332531c4075e 49658c93cfb92974e198661fb1503d47b1642b97 0a75fcfd5acb9734f2a92234cae30c2f00092152