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 |dT ] ZF-UNITY:threads=6elapsed=5.976cpu=30.356gc=1.036factor=5.087zXZִF! 5]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb5綪mN+#Rp`Nw\e5#\W'?wpn5]GyLz*xkuN>9BfqK?씆i1i]X/AO:+Wql0t?#aDR:EK} s ]p5dܤ?s"]cƁ~\[΋NQ sq7=Ş1*wep+{+GxAnNdl hq$=jzeh0"xW|hU%ިVD1;Fr#*PǺ _Odqϩ6/;2ȿ> K#F}gH³rF:"ھ.7q{SbDV{w>]{E+'Å!K{jZtqQsK[#-3d]%eÈy ^*\}0(~c%&>AQ%ӱԩԈblwicm`D}WDvZHn2DÒrkA}u^fCΟjl"+(9ܱgYZ7zXZִF! hj]ŗXiɟ9 i:4V;}A<<ګMP78@k~i?k/6W B;iE>6CgQybDԍ+|ʯ:w( dFr` p<߽%pPZ>*}a!0' ê/nlNVn%}%| SE,.vTwTsY;-T9DcRqazyon9`p?)ΫAp."B-c)/YЂ-IU2 !#lO4 FQ]'ضt1o?5ZFO:v~:~?w MwV2(P=;BT]l1+xzWW!j_df"mZK}tstGp{U`u."(Kfj]m*䯽JU.b)b ҍƔ%쯆uSK*ǚ9#JST!KS ;Xwǀv~¢)A5?Ajv ֣< IpDQ 'eҖڠZ!U.kd );0ŅX^2S۾짱wH*Q1>o2 镛!@KoƿÕ=>] `ͦh)=zw`谀uI>+LgYZ034997274377db9e858fc2d3238cd8dd143d2d04632d8c95ad4bd2d68bd3c1d2a41b16c33fd52fdf a6f629bdf9484509b0725b200cdcc33eb477cfda 2551a7c20bc7e3c74f285d35f7120ff39c0d2427   ZF-UNITY