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 jC $, ] Boolean_Expression_Checkers:threads=2elapsed=18.198cpu=30.372gc=1.728factor=1.677zXZִF! =]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFIUw,J #vX1}ÆD-ˆ O )QF[I~'ф2< aAOng&}~TOp%0.x=\3}iji'n =wM:vHlfthj*4ZS~$V\9n3f1vج~LiQYڪCoUx${įOW,Oί/au Y ~#q϶sEoy J6Oֻ )!N tse€gYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=JB9}ԮB[ 8p۪*+-l ]OHyM6S2v">K(Pa$DNw*gYZ7zXZִF! b~M]ŗXi%>gϴS̲R/DʐhH/kiNtFĎ+h> e0B=pxȍZŘL6uhYhIX{ ApY4I-slNx7;W,j[ Ym7ѿdzg~,A'HW|'3ޮm(l^BEnYi9j1k+̀Es.8x¢=.Í/nM=?Et_>mD+!) "C!S`vNU[avגcMHRi(Mn%ଭߥ50Ǩk`JpiW 쨯B-C}~HAh|r̼JقmPڢ<2~=Hf6~}|"3Th4Aږ.eB@k7'Grσވ;#Rѿ:{X|uk #xEqfij&(㐿)?Ok"UD/Z4D$KS#4Ë;ιc ްLu^vܕK{NY56?MP|hXB/;ڂ[q.CAt0VW5*!?kMQ۳uԶ{V_֛6xLMTc4Νbl j7c TYMRIC\0bGhexwV>x["}~mR&ܽ!'^tgO+5i/M,@r0m1QZ*Ǻ&Fn/~UX@?&_;Tb{D/7^6Ʒ!{b%2d5 ~i+$9^2og5p u}o8TP%]8