SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  x x}) 4 ]]Kleene_Algebra:threads=2elapsed=46.788cpu=79.508gc=4.392factor=1.707zXZִF! 4z]ŗXf[&Wg̠l`T=US&Iph&i[ғMgoC}Dgi@sY 4x=i/JΊŁ}PXSj ( +w%u;:67:t3 cA̮VzPzhjVYۘf"}2D^C1_<#2riT" aTi*.j$ ʹ(F6[!V)?~1ũx[TOQ`{EmWj߇SD#SF'AzQ}:Ș@ ϑl {!V)ͫʉ@Xp8%07w\m:Fn]f PlRoRR9l j*=Ue֑<!_ ɾ!;"f*,-?'ޞ5h ܾ^f 6~{IZ%R}lx^|Ӿd0aֿ3D,7.=` 'J}D6NS# dwyIWEQJfґ_^#$8HUTuVǚ|ro'ZC΢>l˕9#e41Blٲ` XϞHADkKHk-ʿj>@f@"\<&# ?TLMf9s 2NJfbȖ/i}\^g]314PY1UJ$hU9,cSҀ|qל.|/ ouU1-.=YؙI.Z x̀ZO&r-]PmuÁS[ |;Z$\~i@'_˧ ) Kleene_Algebra  cĢ㴆1=s&;iƷWhi;EJ- !f*F-E|"*4˪d%hiʤBQݳa˷U/#xRUebOvT^72faKxS@ @ޘ &XXR2/PWQWzM]ljkszoSQv4Wu"E^5[l\`6yF [(61^kNVPpj9xSS8Z"jeME[<*nGZe/Ah{LT">lc[Mz'e_HŋHҹK#qL{onUr >e-7pk: YCnP |JgYZ7zXZִF! m ]ŗXi%>g* G@Jkr^=dԑaDG ,rLkE@wTƢVD5?斫h_՛6RXڳ_՞D]pʝC!R:Eb/űj'^ 'dך/9HnxeKV#X-(.H%l[XRIߗR\res(5 4vs6G/L› ,--.#G/ [, M5 PQE ~=;Rm'=`w6|_i"p٫nhRX\/S{mŠ,3B=9c9+2긁{3p.h9dZ 9tmTojXB֐\B'nN28(Ml-F],ùo 6xZU.6Η_vXw9b1GH+D@Q#q7; 3%GA9!xBK􌸂>Xw՝Њ /|%#ڔ5; խn_0hUzR'E>t-$ۥIz񯯄g^Rl`7bHevq,dDn4}" J٘7 K191!Td}<mKcP!9 ȏssX)LYxT$g[w7qw21xv%b*\83U8 !р~`w\xVפ'OU3&ZR_M?h^ ?4&^pÖ`sϟ2SMRIemNkC}qӓ4n+v*YrrDivw48z\*RqˉsMqQY7dԤ$0vHZQ>0er,3x8fC0Qw=Q&|Y@4ֻPMgZif\pLs>E6 b 5AK|GwRO_(09/ ?],חI ꊄ&M*S_^PAbv?gjKz҄c&]k3 Ad8S4/i{pىrU-ytwv |{ фf$;;yמsgRHTV_gfv]1 Sf٢aU/? ڂ?x'Lፓg0=KiKg:)WVıHd0%7|rq؛%i:Lb-,6+CrkJq HԕU1zT_Bu f#qy,oz3fչ\{(h1I׋` mq$@T >Q%N`7K3Wg `1%3 Xy yD*Q/j#<"HCٗ&+kGH~錳#{PLJ>Ups)ҒA iu-F 0l|$̠XiI)!ɂ2eq nyrVx>xkHP.''?J[xӥO/g"# Ӵqi ,$X2}W06t`h0f mcx)!/ C&HvJ '=IcC Y 5AquեScX \e'%1?)|1zVqP NΑEt[2 r`sQͶ sh