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 @@= t< ] IOA:threads=6elapsed=7.637cpu=33.400gc=1.216factor=4.377zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 0)l2?kEПI~]v@_)0 O4#ygޱ6؝D-W ho-UNz'jfg9,KeZP'ѽ338*ȉ/A<6hw4=/bM=<)acTwg$O~KJ!~}38`\JA(C|y[JWjҙfM+;lhǵ,=}C=4;Xk^S`mǒ zM$VJ7.RbK1%ˌ0̷*K!>‚D-'jybUXAClH)LF;[/[azY{fpthy\#Z=#[yA;<4PvJgYZ7zXZִF! `z]ŗXiɟdN'LvH۹$Ods,mIN2d5Xv>PV J$ЇL0vA w~wf /^TB ӎCA^?ZS-Wڂ?Qk['aқ6ʉ#,2+ C57ݞ]v8p)rs7G]w고Ue9^lM Hf5WDxfk \v7tĄM^/vm$)2IBt*? W8~9K?KK5;םKeB}lst C?O-q,]|HtkTڳjA#8D ,gYZ7zXZִF! &]ŗXi%BȶCOmh$O<* ZU$7J@MC v K`޳[6$S\m XFIguk?oepjQR'=B @}kڳxO-k\PɤV0T۫2AA}v*m&M뷹s:=7pR!W{A|cXٸt^^)ɱctf `i3=1"W)x!x77ONOrhcİ/^/s69ne*X^v cMT*XS(Çv38<#svƋ4Z@rT&)]{L9bŃ:?"VA ^0IPܥ U)3z0Hl{ˉtk*D%ZzX0hJ(Wx4-&VNjy5ޢ6zӄ_gqhJ%NIFܯY||HsX#q{1+lP~0COjڷۥk3{TjmɃeF B4tcx);+THVwu߯YCFVM-9Q2:$|jȁ@>3YmKڌDѽwZ)iࢂ%Uw@ܶ%<((gP3)XQ]~/B.0@8W%~o+XD,u#}d ?]Ry~ cLViTܴOoBVg%%O),$;Gx6V% *M6|l,5J,ZGcD}wKYM2q{CXx-%}F]p~2%+wWe4O}W$~2|ֳ*oMOP]ݱgYZb996ed8fd1a50d707a634143258476d8d2c32a194ef489b3613babddd4508356c27a113c0ac29a4b 55b6ff6b8f9fb383aae387ba1a281e772a16bdd7 c5be07b1b4161663a77f70353b9a4c6f8ca75f3c  IOA