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 b |d ] ZF-UNITY:threads=6elapsed=5.856cpu=30.580gc=1.316factor=5.227zXZִF! Dw]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8C~Ú)\h. Q;U+~ǰ ^mUn:Ǖ?iNBPQ s2]ׇOֹ5]i0mxV:(0lIQ;gIIa~?<6swM`i =<~<;əHmi!BZ֝= =vP1"XX#c8= Gv$U OT? c*d؂8)  +bJ`2{ZpN0=}Pv2Cgt Zu Z x<ܭ7_q>6JkkDVVtrH޲4K!*s2pX҉ͱ*36Iߋ_axDWWv?UNbۡr7N#ƑNcwc>,Y/L$P T^E!Tgѐ{p3+S:][E%ĩSK=H80gx 2GhO6TVC)zqSNa0cQ$HϐgYZ7zXZִF! hl]ŗXiɟ9 i:4V;}A<<ګMP7$P`ZuU8{yL%eLÃAUlXo |ڀ?<6"fHij Χ/1O:h!3 ȭ}p˻F\k+s}5*aq ZFc$UHv\ %q?cM_"@7UC;gI|{|mb4Iʗ+d궐) ' &NjiCfŖjʝ>rPp+E]wϣPD!nVW%/S!0'{;5QbQ~x7w!gBX(aP Ֆ'{12{}ߜ2di۠{ɂ ܳбgYZ7zXZִF! C]ŗXi%@^&ky;*gs}z.4pz^%r034:wݠ_=:m:ddEI~޻)آJle.>վ SBO7'G8od/ZOXьxᙡ 3]j K:i?QX1"kF,]( 5 'MPs%\t>H%BGyF0d0hDҏP'4R'ʨIF˂ѵ)vB2v eM ^vB M^]ۗs (CeNk\Jm3BzٽbPG>$±8H_mC!cHz .cj0Qܯl _؄4:9!*W|fOkqG'jNeU@+a2덾](;hoi+&LBeLAe`fǧɞR|Xdūo(]h}=ZTlq<ڮɰ*Eחhqt`o& kI}/zwcS}?T&eGՋaē D澭f0 'ꂤβt.SAHH