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 /7 $ ]/ Weight_Balanced_Trees:threads=4elapsed=15.315cpu=39.820gc=1.888factor=2.607zXZִF! ]ŗXf1-q恈%kV^M[-dwPt#`Nf )r1͓dS$b($]_87j\HVSR *,I?$Q]"͈l԰O?`y'ې -3-W\\< |#ɽЋW>v愨6!MsT;yCN J,z6'DzjZqvMPW)AE `;vɚzo.h ;(ri TlrŒ6ew7OAg9ly`I (4,3ۥ-.P+ـC`]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻Ҳj@:gՃR2wpɸsg9*n7h&2!&kL>z}.N#Bl&SpelojgWpTG 1]lxfx@HF1k*Zq /;/JG)jFݬʿꝶ Q[[5:p"ޢ !_~(8 q|1 e߱gYZ7zXZִF! gQ]ŗXi%L 0 tTwac{+ho_/<67ǵ p|$0\B=_ ԘVR\:,n%!զ<̉18?L79̢;$ l [${.> Lb:T "Ti=_BJdy2 \ H?M5Ʀn؇erG4_3B6Qv(ӷdób{+*B/pv6yMNP}vTֱ_v,ѡH}dAL EjMG`]uu!: |xh se+EVBIז.h<2l@  Rp2^e;Bcar)bQtUȥr۞#02) >3!|uMh'O Or/p~2Qa?[$+ȣUE'bpP+d,Λh*5;J#PՔ$T,K[za[i ¼تBhQ9Lx(Әtk!v)*Lx $]=796~j8GܪLS'^DցBa7ٷ"S˦Vcq~^>Xwgn K{k1Dљj,/mĸmd2ҭM̴>tYw(UtOۘ@s:kdeU&su7t-`\우bIQƣʂvcJ?&fuٸ?LQw20!pfm <-0LIYA}cpCy (mˎ*=&?(z$2'*­cަ0imsdGedK[".R)S(QD)_妃d]we|-(- .p99=~5fԱNg}Zf۬F*r%tP4x aE}0__Ϣ:6T=]o<3Oc_ 5̒S{uIqsCoh *YE/ҫ|Sw?IHԥt PFMsMʛVrC w cUuvȸhFޥ9g3QXb=it'@P0 3Qa:ݱ<5#+Z[,4?eCPh (AU[> rϱgYZ025bb11bc919ee81221c53d10c104ac06386779cd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 7 Weight_Balanced_Trees