SQLite format 3@ .0:  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 `' l$ ]]List-Infinite:threads=4elapsed=14.066cpu=51.392gc=2.088factor=3.657zXZִF! o]ŗXf[&!9s`|kK4CQ.Ia Y<]F#tڿgʱ}=f: d7tb*vPR É[gV^֭l`T 6R=Sc (PJں`2髢67[S;v&yi_#VŧJڝHM=vdE(]Hu08?*  0O?šhO(nؠnT**!2ӔK\t [ Umt@ H 1cVY~Qlp@xZ*~e"vl-GnƝiҟ0̓N_>?xӿda#,("cgϩ} hpRڼ H;˨RTbgKQ՘3rd jgq*\>eEt9baI})IϓzSի)2Zr840{/#~ 7꼘9SN /c^]砞s $\4v\d 9M$^Zkay3۲)ãgYZ7zXZִF!  ]ŗXiɟFTq7`T9t!VvMn2Eڈ2!bV,E8Kj%wc wB*~E,WnR>,&~p>|vc]p[f%I پc0Dbڇ\' #jFzB4DZrtEDNWV]"a1Fĸ-+1qXH )uuu7:Z q#yWNIP,̏ZA}WStzyp^V PrݘJHhtH,:.ίW>d߈u;7 JǾH9#JbeLغ z<NT`eWgKȁy09 uؠHWTļo8bj)[Wum5R_'r(׼+ W߬C8+RH-q?mj^s](LJď/g)eeo`&F^p_;g3'ퟩJL6Qȅy; qŊ^:/3@t"-FN(gDq~3Uvl"/Ŕ=`K #9jÉ7C,j5>b {u4 N3g{հ-{1h(oJ-Wœ?d]4gDס+ʊv%3فdWZ۪u M&!zmnJrZƒ7q 8Jl.O}O۾\E8`c?,r]@q~,cXݹ ~h<]?YH(:ĔLPnn\Ф"Lx:{ ![7 AgZeU$ JM=. KGcU mRYBI7si$V„ѧ$qf|(!' ){}V$ƤtG`Ϥc%wc'8? yV훛hvKmPZŕᴔdܟ~iP$]ه~dZLbs^N)S25c*-6k3gnB|~< [dat^ؖ4HҚvm_a&u*/oa;lj>Bi;)olY}tB="^3iCqaGcç[չ?"#NBѤE MKHzKؗ[kR\E[PR_;pfRJc$/t-'F8WlFhlܗlH~ҳd^0L KȻ3 $s漾FMgW~ YIqE"t3-nr&[-̡^$(3妤*`_54=ٿէwcFDKL+}|[JgfFhIqȥ%E_0Xr8f2戬䕟vSoVUq |NDC72@C myo_q+kҟ6L_zw;l=_1pџޭU #y@PBt9i~Cۀl2O>@!RNJ3ZvRJ@Z4f圫Sf1 ;UEȸfV SkB~l~GC^MhiBJ&pcq-VHc*Yzktu"Rp ,[ϕQGG1xcdUNuJyfzeÅZ|TgYZ8ac738b1f94f898f2c29966f9f93e2466a724de01795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46d4f6af46ba49cde9f47b8eb526c9b69a5405e60e ' List-Infinite