SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 | TT ] Corec:threads=2elapsed=48.019cpu=72.068gc=4.480factor=1.507zXZִF! ]|]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$mk]ݲl΄Nun EL8U93!H 1]UO+0# l 5gFS>dM$/(!}EmOāCjpSQȺʆT5ѥNMÌ3T#;$R#H[HFϟ t1a " _¶sP`e. ͉}qDWgOH+_,IH9iW> yg?h;YG:'N,R8N=#QG{,`.x[*qXװJ0|P Xɵ9W@=*,d|K^Z 2b GstsS1:5(O2 ,j׽Z!fg$BR̖i`n02i?ht/;g5!FX~~QVBJP+ X/|x{9X)|6ﻕ>n7DXX43 u2?ph;n3hmI%L,\bVWpk{=dke)~s^,75k6rla~u(`mCqCrW% m͎͡ҮW7r"FK4,~tQ0-iAXpfF2{ #TJ%2pf͝ c~<'\93hA򏀢 }46 Y-Oj} N a7N$˔l-;{>sFbBslor~-ur% z~iFG㽃mqv vMg{ Y7[}O\~C=<IB^Y"8Јp;,pMV廩pLnC$5Bl-IgY?|ըfxrF99D<\WmU>.T \>,$u-}+u- sfJN; {'‚YŁ E`r / 4EԻ?IaPэߵvd]6:QyjȐpۋox;͑ cj@0 NC M5*Gx]r[VO3)35:ݖ:yoxV>]KBhЎ`sZ}"]b+k×y>҈ !ad\6Z7gT#oJf.\z#%lRc=?=h ٕYPx'1 :Ʃ  bT4'3=:*dm~?Nv斝I0wkbF+/,Qo#1 ij+@<3nt&tJ7˼*2~(K 6j m^ J/˓3ƭ,LjLMANe=C\[oѲq%VO\2> U9Eb2MP*i'Wo!1ӽ'O/m`}YُћO(j!s@3}U٭H)/u&Cg9$%#% +:7'srIk|Ƣ8< uJ %0ptǔ|w 16,DL,/ۂ5NB/ Q"]m㼽-S{hfއ͇L UgͤRJy@-V0H"ϯ?|ȡ#Pr"0=2 ejܪ|^oλ' #j|UKW8Ƌx51fĦ@Cd>*>)FЧqN:B;~BsЖlyxRyPw`vM7-",ާWoz"cX|.G˨6T%+eM^{QX`] ~qn5gOspޯnGp~UqxC7X(WV /$#@'X{x OCT hqe,UGۛD)&ZG榶| tlL!P.9 I"M~dWՐbX.̣4TpR06sM pՕ^ ֲrМ\)v~aV;l \Wɦœ[V=fcEOS_Ӥ0OPBnA2UdsRk4oxxC*BL=+;wu1_u˹FqҾbu!Y5m  5ipB t(цSЬx I/rsWӲbn;ݾ) o:uD&-Xyaj:ys0Gm>\=;>!.5\ ]h'ozX ܹ mmwBպ/; UB#!X::LwܭuBtma?|%EZorﻗWP^=n&9*S&gYZ291ff23c77e1a9a7abc7e16a8bc5ecfcdfdd31e4634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 c2c638f70ff654fe12265cfabc7c800e8eca4e9e  Corec