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  P P%?<4 ]]HOL-Computational_Algebra:threads=6elapsed=34.935cpu=122.836gc=6.024factor=3.527zXZִF! 2A]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(ClEɹ+"Mpԡq#fa1_*P)To /EŽ** IevwaE_B7"k )QR(&ƗNsޕh3ɇr0_?0SS8@S߇F(?!0=[MZû1[u['XPpCdTk/`4;2 _i\ۓ1]u B}{8딴pYښcasMoz:=)6Bjf1_8Wn`t; 9% gɘ|ߒ5WW,!G,0sԭ@dX.lTR苄uj'4]ڧӲS)fe) z5aqߘke<<[2#$ci /t8!]MBC4]b/x[H'HK/4gD >AAo$cvA.@XxfL eԟA'B=J -z~f ($?'m&H,2LIQ! z:C @fhL2fY58`񗏰cк֐%ޗ^G4K$ Zmc/QՆsX 9t'la0'Sw^[ e -ro3\XЗncӴ_シug]B#H>QqgSR)H v<aCML&o+_yxV9x SucizOK[CPOVs;H?V'3 xu-p+ n`?͜$p]2SRP/xH"{ ּr0eIJQ1NBԷ!FCwHV0^~c# :QvI>3y1Ν3dZik3WbP e\AgYZ7zXZִF! ]ŗXiɟ1m楀JYY1e2RgsF(*K0뵺qF3`3^"!fy$,^iL)K;r!%>VӋFn7sLN X׻i4.|\D4ԺrߠGSG2Ge,rx$31ߏM3zztD~u׍yb-|VlT1Kݯo6|iK<O8fc4ZUR;ne% -xgYZ7zXZִF! ী ]ŗXi%@Zz3,tW.mK$bP@,ǃ /dॆHuXL5a-)~> %ZׅpȆJq( XkU '"!'ܛO'wUlLu/[Za]J: ">L[L7CoXED7{LwBW-`dw~N^JT*Z(_n.[W׀}R ; ۲ɏ5PUTd0ľ;HUfAItb9!FwS_#W3/Dr?@#_l)R`݀vR5F9"K `)wfr~tx\._夛ⱄb1\ObRD=mM?$ȶ )7kێd\h8#s3g_/*U2[E8=,k0fږ\H C1}jR!:8`u qNw#@su5wEv7Uvzz"rbq̫?%lp & ^ q(zmao0VԨaM`6RGĉu bVK < .h6} 8np֔]b424\LdgAQbOIqŮ٘:|j9:̝_OXYdCN:t|%(_jLrj|k,FQ bpRs|xQDBƩ-Me9|C\@ΕRi:Wu&6\y<ʡ=2UQUXܘI3񺛎T;H,S̕m ]/~:6!=ɩs Pq~imаgT =Lay-s LW=}r™%H!NfRTC)'B&ۘ u= sOR| ,p| ba[Xf ( %#AQ@ȓJq~RPll.vH8#CO4,MG@hNC'=ˤSOl4 WI7 FCz CgŸL1Ϗ\`Ip5ed DV `O쁱2yx;H>n!* $ft/UvEn% ?0U#sqpN?u<!YcyEޠtd*;MH_HšR7H !8o X =4L4Rj ug,م}J<Ҧ