SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 <' <\ ] ConcurrentIMP:threads=4elapsed=20.705cpu=46.104gc=2.300factor=2.237zXZִF! X]ŗXf[&nMy&\ꉎ3~r >HşQs #;CS>ZIk6ujf)m4Av' @J]dG=rص0rLkejM8}=IsM&lmCY~\~x8#':2q}J-l *! UBܸgeͤD Ԣ8f W=Q_ϔaCm:1kOiĪo1\OiɂDf5ӭzEG4x THdh'ܖ]fD/38#2ߊ#+Hu8UuٹQX~Z/ ]٨TGg> y'My͕ BUbvE1+kDT1C 0H`GrXvKm[*3 I#8H(ō >/%P: u؂rb.kmK[}_vf-QgJYWkEyI24ʂ9t+[##N@nvp]a*ݵZ:ިAtg}aY9qRK*%l˖^gYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?w^4U>_D%i߳!ƌ,W>|W}MC@uxKl\BJaKЖm~qU\P<$L@Cv@C^Qm>=*׬I0׎G;fT).RgYZ7zXZִF! we]ŗXi%B /hKiOoYt4U}k5WY)*lO??Bu#t4EZa.F+Ihp^˯ û7{ Qg hT#X4'UqZ_I1g;Y>ppE{"p4_I@FxFZ7n5km+7r|9CD0T]iR[cX$?ךen#VbpBjp~L|hzsawƃ=-6ٜOZK.i,dń^R Yp;``njZ87Kv$ \,qi5&ȋsl됸%':ِb<į"/6ln"5">fSFөsD3m- TDk OJ$XDsƴ팦l+1(zf9>j'őԲ6x!8sJ2ǷH}mӊF#6GM*}¨aq`IJq%$2:JcY'Cgұś$)dC^I^^Zk_%l_υEf }6yrS,=qdj*V+9Rh69Ku›$ lwu_%%$5d.#ќe)kqCtVJv7 h%CmA>w{Io z~}27XO򉻼VJɢu<7XGpId? J}sf $qjlB),\ WU\@\)a7TYzLQ)zd[;C\RfkKK5nbO`6n& 1ғaFރv r&X\z8DvR$vw;Io9(.&]d" S><'.V$c@YüVϧDt' 29rN-qoON_J"᧎0R{)v_ܹ"R !#!_n_Zw|æd@cde7% f3v2NHr*3H; t3v25$bzz r3YW*j7'z kVyqڥթ lq4c<^9U J(;Kwi.?I7j͏NwșWSpxNҮbiYBLw>Ee(=Bܵ`YD'Wp<R@\t|@H "+?[9!LHHJc53G3C mkK"o%yrۓ.q2_,P1}.Ps\l&TӀSe85$߶z,)LMw,Tvn`Sɼ9[\ݏ.6༅E#N鶣o/Hdd*;8Oc߇3)-:24,15>U-4>і#Hq#^uJYJͯN&d^%p1+:K pu~2 زaZc`H:NJ?| ܗ礖'y>eȕCʛ_mq$.쀫YyqZJpQWveo<]t(e=lx7ҹ`8`BOyR=uo7` #էNmϚ#c12V~F>pO-Ί'#@aj:Giʫ%m#Vd@ wXw,;Ӵ+}Cup1!23z>yUn#QaUzw_`Fz4 hy/^6 lC|<~+TOZ@F`i<$K_.pETGhȃ2Fޮ4i#p(Fj΋IDZgYZ3bb4731fd8d644a9718202ef5be37aaa0021d774c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c ' ConcurrentIMP