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 ++R% 4l| ]/ Derangements:threads=4elapsed=12.555cpu=41.476gc=1.564factor=3.307zXZִF! T]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jndr2ryCKjEJuG` M2}8k-$!!Y4,c=(ȋ ]:G}L ,"=>걅;E(eԜ 6|Yig` SE>?[T#8BM fǬZStA0q6϶ A04doѩU7BLM~2RT2yW{x%+.FVC6ml}/}VR?2z -O貗GLU~V_.*.@D^5w=꾄ڏ NjZ\pluy۾%IS{'Nk>,~åD[ =._b±\ f%{#}Zz3xQl<`4Kɇ0y/?vE=g`Ix`+5!ggJu.ffDS74 +sE'oِӹ gW8SC=vȱӊRگk^YQ@,k}Z!ó`y5ѯk|^cK,H!dKeB .ϱgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4me@Q4UNFXøܦ"AWUB;Y~)QΥ.8<$\"~q y4-^p0ZD8L+"rEh{s'gYZ7zXZִF! Y]ŗXi%G̉S©jdfx$IED0L,Po,jL$KWPx&B/< =t% ϕkjGdW OTTXȊUAj8힟q%yK %]k r*<࣌," I SX'%0BP?V (\rAN|⤔#45ځtl# }F@ lqE*jńc ¦lj'>m=!i)WRvmAԋQS' B?4JOtERGkkk/[YV -_ryf PAK٫a@nb9(>>vݽn6"N Q>2u>[7.`d3ܹT(޻]jd8nUР.wyMa:'çk?>..B*IY{bCYs`ε^'@_1VnRj+;T1]}Cau{xfzv%d۝:ޢ};Wu$ (lTi Y^-c% 'gw@}p+8lY[9qhˣw^Nޜ>vPΎ݌p;4r_mPeU'}y$'^t8HmTI0 xbǴUJ[V.iq! Oq%7\!$9X!iiᗍ''I| UoA+\0_@Laq'^ L3F3[m4<3Ki$6˂` 8c[eoV@'|WnbZ_z67J*';C &ȘW0q,4 )Fr ,9A`߯ï2v=$n\@W!rf,@ MvHwSmKe@>e#gCea{WK_>P{CեF?F&nň]hk%h}U z:W0{'+X.7/.s1hoO\淮-偫hS c]U0d@畄()~QH |}X\*.aCVi2=V