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 oo d\ ] ZF-UNITY:threads=6elapsed=5.781cpu=29.708gc=1.192factor=5.147zXZִF! i]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%bIE5:PRirQ?s 4x<9M}Z0I|ݻ7nPgQ#'drH""pEއw``hB0f7WF)|M\-iE7ȿ4@dqal4!#ݭP4tLYM@`VA96ncU=ϭnjT+/Bp+&M `yl^[Z!:}t9dLfBV\H17>c#dlgނiLVq#\DW1P0XZε)>UX HdDN{ȌC ,g}h¤$*|pgbR%'`3Dk,W |29t- /cknASBl@D 3K/aNԧ v&2!l[Zqre9pJ:YP&M*JɟN X9%iJoeoE$'sn06E3Eԯ*aIެw1#@gYZ7zXZִF! hg]ŗXiɟ9 i:4V;}A<<ګMP78W?Dsǻo8yB <rԱ(K$fT,.ra"sBZ|5ύ_{ _P Ĭ)>lao - :$߆n =D3Q.+(7ep{^P-ZgZ >ՅƼypǔ#6 #)QQׂrdgiVzTd^b;H*y|QAlkoid4T^ !JBfoAfh[6Tݴy5 .ZhR@@d@ȧRv!yAJ5$ ̎Բf=⊼C0O C1gYZ7zXZִF! $Q]ŗXi%ES-|===Fzw~e97bb<!~AN:Vi~pF^}%RuYֻ%ǴmȆ*/=ۑz><H(PSd E5"ă۲iigg۽NLPVT@[^8J /7?B prދ&%!gOx x#iqb(D؍f( QA+ n|1>V8~W^E0nb^8& CKYg7T-4x4U?/_83TA=3>Ǡ߂b̢J,gO@AimS?2/,ߔ)[5,YYu!4ICo!jYZ5вS[ƨKt Ic)1Ѐby;\kA;&+x@KQIxx~|I.:҇9(6/Ae&nv.Vt)B:ewͫՀ7LBE-+jgn"fS; :$ -V/ g܍EꓚTXR16M}DScJkOGnX*WTݝ M*'}ƙJi_Sf]48i)'u*6e<>MLMvQxoY50o Ych5 !UeqrTE5P^պ)k`0o>oegI棸2䁐VMN %kUbG $'ks̅;?sX<ݍ.'Ruȉ1 v>]ۆQe6⤈lbn东2yv+WT⚭xrTqy1j R&NyfmJh'Ven[fbMֆNUHhCM2aǮQM;lz!U̅-ᰂ,si%S;Lvg?е%5M3ra4x3HNUkgYZ4e00a869cbf038f9a1fa119915f1c7b8d29ef11cd9aab2f0eb07e313f7e1d8ac809bb79600fae4cd 103ff07215929d8054091ac4b2ade0667d2b7f65 5f3f21eb54667cfea183acaa40ba3262fb78f4d5   ZF-UNITY