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 ] Skew_Heap:threads=4elapsed=1.381cpu=2.036gc=0.000factor=1.477zXZִF! Tx]ŗXf[&RYCZ%!DIjuMq>i?s.ZEZwds] X@USY Ufn jy_{=hQ{٤ڜc@h>64jgYZ7zXZִF! r]ŗXiɟ1]" M${np^PTܶemDb!م?hXc ]#qPm3O9 oI -L317 gYZ7zXZִF! >}]ŗXi%Bh97(FM t.ɉZD椲TW~gcT5 dA "+nigjN&1ڂQ-7Ѭ $R2ٕ3[=!5[f9@E-[Nx?/#S ` es!e@ze!W%!:W_`Q5q052nŠjc)ۖ{luy[&/f/VQ~oA s::q(#+L6N%63VK.B iG̕mȦƒ}DsK]>ìEZK"y'@K !a{ZjQRD¦ 1:jW >Z?Qm@;Z!db?[ Va`B>>ȍ^Hv "YE5@GxIax#7$ TjRXz؊{0]?/\>h䩎CLOf"ބAKZxKdQ i٦!'Az$ ,?a_S!Sq߯nd9>-{6JSՂP\IEv-+D'ې ӅOٮ3$ W$0zPgYZ6311f59c32263850070a3d8df21326a5efbb89c73853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f   Skew_Heap