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 ) L|Դ[qW/P|Wb"aFU7 ]&$om<|VJinӶsQB"W:VZts)CW8M`sXv#&Y]\7w߬P,uTP!e P$.BXR#~U#;d(OrgYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWf {/Ј ~"]QI<;@0WD|ۥ3|n=sBofd'{Y nUlK(L &  &;h'CJ.οh)dS4mlT;~eD=ޚD\PgOqgYZ7zXZִF! >b]ŗXi%;G'%fL/mѾFD?ФOs{ƪ7Bk""ޑմ܍j8;BUd~y?{&cp 3KŇ)‚A $k7Rftl*[]Ԙ= adF<*:1rɬ<b4\\uRBhx/sjDg@jUP5-`u&{a3|<=9O yxXU+ZY{l%c&\1 (_Sb15c z-}88ҿ^В}-@ NU1J^"]o_̆}mAFU V"VeZh٢8,-H2@Wčً meԵ_3Yɯ/czpgP8C[AphVigl WStԆ׿g\̼4ht˙=J!/2O0Ć<zj+b,E 9_*gLX]][ d`n㱂ɷ^EMU%pP,L͆h*Tۯ!)>_ʏȼMb g6voOW l'x8(ly$nmOkeε6@H LAnV99 4}x|9"7rVZɅ JdDc1Kͬ08d]>CMԌ!SDrP(s *9 GcϜ ޶]uI0IwGIa*S8\EQUGE\wV=v%NК;(p^@|ZpD@~N^D= #Ex3 N%!o[7bqu184(C 5 }jBwgYZ9a1d75133d1c73ea27489f0be4d8483e21b87e4d071f7fa30665cd1599ab0688c2ebc3134f4d53a1 9735cdf9ab52c04e2b30aff2857f0646f946ff29 b3a1d570f70b7bf030aae41d0224a5057a6ba824 ) HOL-TLA-Memory