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 , |\ ]/ Huffman:threads=4elapsed=7.989cpu=21.936gc=0.492factor=2.757zXZִF! |]ŗXf[&qأ8<±0LB]O& ri=Ⱥ/pY¶yafm4o{^^`2 ]4J 팧:]ŗXiɟt0sϘ ECS>T]ya<cڐTG>t}ZD|c}YZ7zXZִF! ?]ŗXi%I o7\䒔c {Z v?' _WR{h5e b)]MY?^f-5u U xJ[rC-X(uW6=+qt[sq3ΆK{ceOyl㢎 k ,8$#OkӋiDp './8K/(\'JP TK1( Ֆ}fo#ۋb#Pc3Z0L= |40~3r+iأռfFC=N\[gp6jIęؘs7̺ @T<v C^)ԛVHG@̔/:[JBW9Ie .@UIgNڧBjF|u~EKQ%%3J'{EZj?e: j2 e9s_ [%ZT=|gw^a|5aJrʃP `1dy V/F'Y4Dmqes2~׺kp=}A/Le*Pyug.e֐a Tѿ 8#͵|/@ѷ7=@ٴj6}ҿPuZ_n+hxhYgrB*&K.a}JB;yhmElvQ}NZ"ߥQNY D;U}ňL$ [ =gYZ68d1376cc30e92a6920d39caa04a4e915752b1185a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22   Huffman