SQLite format 3@ .0:  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 ++R L\, ] ZF-UNITY:threads=6elapsed=5.979cpu=31.956gc=1.252factor=5.347zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b 7,D3Xsu r:x}Bٟ `tuP"샹FtjUbJeU?|딜C ۿw@:QuJ!ݖ_2'lP3tp{. 0ܥso5@8^USٺk4}5ՎwO9WuBE b|xWL&c žhE/oUsy)eޱgYZ7zXZִF! he]ŗXiɟ9 i:4V;}A<<ګMP7g]ݑ$h݊6N3dcpSU>BTJtu:Uͼuϔ~5DN@r`nʻPRF h`}/9;B-K8jP NxFBk(@+T\NHg=*r*_Wwc4g;uƉ c2`?Nf]rz0DeX '&!aQFI)wyik"pett 8.pAX㾗ĘTЇc/ə Q청 eZm7]~4nm $qmgh/I 68[=Nxo~O$?]XvґXy $Qv~B4JǻK)la9vIs-,ϧ 3־Jk{{tg[h7o޲4S7*ŷStir%[ `j<=n G sU[қ>&S Z!H\H'Q-*3#*@r1C":M5pL{]bh:CxH 'h{3vIg2D&9 y.uރZ:GOG{5 26Im?i8KD׹E&\%R2=H[%HSNE}uCǭn5&Y:æM31؞!5vlb^@hG5࢈C Ѯ;,S2_Ө# ?HWqi9LZrDEac(zZ1Gš!IRLH:gYZb74e156cfc6d7c117277195f9aa2f9d685cccd5f5ba685b34502b4975dd781c9ef731c56a0e0c185 e8983a8d223b5efddd177324ba5009d0818c4841 2d5a0a6f1fbef3497cc8497a35a2d20149cb40a6   ZF-UNITY