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   Y! tl| ] Splay_Tree:threads=2elapsed=77.406cpu=96.556gc=1.780factor=1.257zXZִF! W]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%Fjt,[f,^ZͳίZ.R=ZQE1z < M0aI @uz(}yU;E~~&S0Z2O :hUsZ \<$D,xOpdS+J{$&x~_&;vAh@7 &/u̗طV}MCMq\RwBY]ޔ9դS2/A\7(jOVs $0E-wŻ ۇM[u|P a.a?o`WIsv>87d7.Kr&GL01ӇɊN'Y rn~SE0K]t kVE,)T4=8l"Np0׾$  ! Splay_Tree  ̪*&lԇ !l΅^rq}Q;fMf"wa;M2h,r*pgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻ҩ@::t,skTrpBT:NGd5L|^=l5g z\3%ܷ&IB~eQDU8xE~"Ȝh8ua0z@}-"m9B+;ga5cId?[|?*v<4@!A@&A=4PWԮ02>8g2]Oˁ\A t7p,C a.lFxЬYP!8"M@6uF*8, 1Ao2| %2yQRIXI"[&Q9?gU* W7ӈ;㜇ګ$* G׋YeDԥ}akj4;t۵ DQm֓MSyCoSkue_,>X ^*ƞt'XmCRv8Ho `o (Su"a$ҧ1q_a*>aC=_8f#gy M ;D@[Ph'f0I]-~X_Eѡ^eP.m֖c5x# &6'+$\ڌlImJرS7O)VG[fGG&yDCpʹZR RPr7d%kI (5 I!WA'#= ~벜gmOy\.UBcJLU^=Pmi]jìOj lv>5bO@L1c8ojRq,};}*]D

kՙ9ω#[4wpR%@7эQeU@HZp1ˆ+#6{\D[ %cY%o>q<6~b"&wd`wVHIFpc 1dL8`u?KI /k$=fP-&~y)41]߄X}vо.RY@|l˕.܌$wM2,ξĈmaq[ߥ8@s |5] uqN̥FFYv0E>ˎhJ(CN gŵf!_kEl6r8cK+z:}Fkb5)4WQꏙRѴ BTJxP25q v+JCAb $w[Wpp`9hczn$k,\3o2*DC1Sv0FYkC?gRcQ{&+gR_^~G5{ՃjIiI/ I3ܾ&6lqii'V͐ߞ_q} 05B.OD;.qO50>LtHM娲˄:We}'v%T)q"޷G/WX-ϧE;Fe \@: ]&%TKdǖy.4"+L1^+wT8BUFGL6cf&;'6=aZ~UKqGѭo~@yG ω߹8gԦf$AA]_1j)W%h>vG_3m%=o'@cZ@rǤܭsn \Ž՜-j/#kdk՟