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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info $ ]/ Huffman:threads=2elapsed=11.249cpu=19.812gc=0.560factor=1.767zXZ ִF ! ] ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp %\\*LUjEtçf fµnWc|ws#^ek>MHSԵ#2R~s$sZjc|Ҟ~ƶxp^>w|zZ@LՀ)9[1Ay1n 'agЩaan0Ep2Ijye҉d dcy.~_XOy$vB?, /!>4r7dtkq(ne^5` "xUDxxt_ǿ2NŨ7 '] l 霪rMrcN>ZƆ.ls;s@BZL. A% # $4sg YZ7zXZ ִF ! C >] ŗXiɟt0sϘECS>XY q;z!*67]q pr|yc ZD|c} YZ7zXZ ִF ! E}] ŗXi%;<6lkZRUNY!4.y4|G>J!mZ$2g!\I#Zcu ـ?7PZex^iiY-;(d>/ex.cHߩ"/nz5BqoB;#eMŅț\/ԟZJْoJK/N ZRO;ki$ РC,lGѹ&o.00ZKh!|i|J](N?0حfˊVoOy2] ; (.sx ddH^ˠQ({ibu"WX0`dg3#~խ-=-xrٶWܚvYy4YG~"95<"8J]jȡ|ā˲@Adpě5SWI mM>o3o^Q>TY9?]mt(b |~i| 4HjfN&D[%ʩaw랯~S5+"UR5#{p0! ;CI|C0lg>mƉ*F6ZbpK_5FrUi**}I]3A˵Wt0`7gc)"w[g8ej)4hGGQ-TJ%Y*"X~W[H-swTpݑ\*v7&P` T7Qj5 ΜxD|K:"' <DO(4S-Dm Ĉ.jTZ<;rqN|ҵU끏wi^s5BU;b1hcK^nڄ$cM#kDDHWO&L``,nKsP4A`j)x~ 5C8l:^.˒C&[~rMQ/ ]K]ƅMhX u],f]e9<<>~LjMbF"*4lM |){z=5jS1aݍ * j? 'Իg YZc5cb9578395e64e0d7976ec635e90378cc080da44adc5a97dc9dd2ec807ce476868ed35b984f32fa 6b844e499af244731e9df28f8a3632b143e06d3b Huffman n n j+% HuffmanHuffman.Huffmandocument.tex7zXZ ִF ! ] A-MՋhvG"uIBm5s{w0 &X TςfS.`k;t qq +SHQwӛq}