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  }= 4 iS]HOL-Nonstandard_Analysis:threads=6elapsed=10.830cpu=28.724gc=0.984factor=2.657zXZִF! vO]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6b_pX<,!PG#%%W9ʃ am.n,&NBԘYUm\k #x(g#cTMed98kq=͸5<Ӌ+6:A9KAl^eƏ)K8B@s3bPTtȀw/8+YB vӾ{N2cild?`p#\]@jxn6v6vF5O"l#q $L6-vP%Ī:zǵx1ZEh3D2V+~5bqQ])rEB;LDPp9x2/8.Gˬ;R@nwNU@Ih9:FYۓ1w(Mw[eUzfm=XvJ&i+i:'ҿSqXsbEp*gG|Ogʃ"=Pb>Z `j l;OjD?+2D=*llJbb?DlUػ@a1k$v\),> zoѤ_{LoOpe+{_j8v?)a}uꭹV̴dGЖfZ-s )]ղ? c!>:u79m}9XP[.2YG^o2]o@iA 0Lbb3^*csGCϬ Tpֿ?m_p(Y,qS8,{c%1ܗ\k+[x<)Y[vYpyÞ݇hs^K /\VAxۤDScƻL@o"I_yІ߮l[3Z0Eyy#0Gi96L\hok(i={/"Y2Y_+$Vrn#[|俆ܺv(lM~9''r"`Ue =T5AZ1`T+ߑ^dBXn' :B/UK2fOT\f Ă(^vPVeWZF'8am ؋] pwZ!j1Kӑ'X]7] JB=B$;!үet>0qj %scI#5EcO jw.;GwQ#ԛm^jDdsݞKHf4=V {/!7ݫ:6 &!z0 θT.oԌx}D`$% XrIu&ڹ4.oZ//m׵7ϛtvYa9V:ùB @1˴}>wihXxrѻvxGU g3's*@Q6<&a$\ +DU\L-G⚻&N}tnRɣ'A`:*AyJ0 .efo_AYN7>ͷ,8VFG(^xz:#T/r:]NBxʤ"~'r*]}gFN ]ݤ}1)@uEMވƴu[Is`nk`PY/o_y:\,+"&꒳llOC .-q:a#|:Ac9Cjb^%2UFÉqګ-Jeoc%v;8awV1qlRNGT {3DiqV|LߢgYZ7zXZִF! 3]ŗXi%g!AN݇@+ u\xaT˼|*Da#iw5UJV:XΆ }04e\h< kU~=es;ȤBb-TNxѶ