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 [[" ,tT ] ZF-UNITY:threads=6elapsed=5.573cpu=27.980gc=1.012factor=5.027zXZִF! P]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3T/&e&ew0=IMk%3- : b`^N7zu:eqrĤO:9b:B^aξh a& Zת&`=B::5&_?ؔW=Ipk*3_ԫJ`_Q ī=dMfkR5i=pdo׎ -ti X|f 4"C!yw <؊cTh8КDžROO,D9HJT%-]eC(in{hd1VuFʾpk sa}>ļ1z{Kd'ValQ8'7R)qzKpZi!]⌈glR%prMx'vDp)+bq4N Ꞡ|Q;~ ՙ]|~4SbgK* #~͐^CF+{ػvUco:(_>OwFF"-<=,&gYZ7zXZִF! hr]ŗXiɟ9 i:4V;}A<<ګMP7$P`ZuU8{yL%eLÃAUlmZ̶OnzaXN7p,'jP*5R-P ;?hj+$#?"Loc-29j4<4n]p >04OT($gj?#mbqa&#Ptbb&m:A]7zXX\3@ ܆Х 292x \tɽ9l\gqv Ul.|K3g*}ozE&2D*fpkEq3I#ycBiR}??}X9g-̋餧4Jљ PgYZ7zXZִF! e!]ŗXi%;Ȣa]F'!eYwhPu^+^K_t~hGzROji`O#$5Oˤ eDК# #NIPej/^^4ղO jOR((X B|,G5_TVթmxy(푾;?Cz0xrd΂n.U,/tf\n xj_K. 2gǁC&|fx?{>qwT@߸0v]?5P1>~[`k|, :tQ;{auQ{P=n1E(DZ~@L^PUb, yE{fΖ34`:[qbOQvim$L26%?ʷh $To=5(ٶO#JæXR?'-rhnb'DWU^N!'/%%[Ev be%l zVG"fU/jjd{? /FKUi'h-Ь \`g!k ǁϋoLuqnjW}oCU!gmrepH4gs=8vI鏖Ɛ xύqt24Am+o PEbjLͷB۫7 cn\bcj@g(>;H%"f;h 8-3gYZc99526399f301f5876bf4bdcaad074e264c502c68b0dcf9acd2129acf08a9af17112933d7b840fa4 fd58b602ceadeb7577a26c1b388f4cfc40306fdb d4b1734ba1a733b590ad42d0a0e2c9ea81e1e9e4   ZF-UNITY