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 K; D$ m% Special_Function_Bounds:threads=2elapsed=43.131cpu=66.872gc=1.184factor=1.557zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/i9w=8;ƹքBS]SMC;P] ~R^ m\&k9 |;CA4C_[Ȓvz-'LggA?[tr2522\ii`#hHY1ce6ŋɪ4EN㻹N\H *ⶐ̐$tk4[-n2wX_-6n>gߥRMO EEe3@ʽW0ۛǟ '.KY>GnhI}5miTt_@Gdra-}DLw=2(ZN^y%Z/4&2>-E8Vh: yw}paNkC/]Z-Pۆ6,uTqYpS  egf*_By"T2g!$ș_q)?qU`#ZM^n{( D@at̪ 0X*|l,1<=){a(ߩ83'yy0xCeW՞3.#p̮c+'8Sn #XeCbX+8=.tgYZ7zXZִF! J]ŗXi%}^OW579=-kuzp? wvd_tNߣyc4z]8XtIxd*(N+ ܢ]]:V`TqXenb spdl[-x:H4U; ?n4jZ2N)s0Z<3i SU'@=VZyoX!ׅP/d,ϹV{"E$gd!̉^m䝸}=CZ {z܌ql;ݢbzO[ HuF @VoC۱k4y}įbo4nC׊5J)SEdfhYE4b tD 4 Z榧]¢/Rɼ&Nu## $\ҽ~V6Σ"ܚLUE2"! kayHP6~P% h DdF܁;|?ipbFgγt6 X<-,R =sp3doCciF?N:@uyvY|: WT>1:t5o'?N1Cmtt I;%UIJcSh{A+^prWO2GVиN?70eNz;8ʼn\L(Òvݏ ۍRPZcS&)-?븍\ι`\Fe`Wqr`s8$fQnl ^G}fA'WPڗ ^慩9o ܬ謩#GzHn_BZXȴ7ͪ7 =N#xIW_ÜEnun <4m s+eWFE9t]DΥG&5eΓ}vtŸIuxkOWZ*|MO,hxxme'`iAuw@tzȧY-uw5di j6:[G]3 }6 IW'Ձ*oq+h]ģ8QdEͅZsjcu-\-ۛ/G*CkZRrSZOH:  ʽ%Qq{_2%m~y{e(߁;g 伸u{\|9I6C8qF3eΙ!fBN*5D?ejr]@^C [ebS28S.noU_!;Θ3 (qC[ YN8\MA$=D| aITl濉TnuSqL_vsLg?io$)Ը+(}Dbd[wfCox46om$-Q 4z:w)ʾT22v[Չ8i)1v&+xn։p|5 )u/"v$v>|"HmA0Zɟ0),_9[(o@6IY㳷&| p_uĮ:ٮKY~e%jM嬡ߏ-؈ A-rF C f^;m