SQLite format 3@ .;  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 tt r4TT ] ZF-UNITY:threads=6elapsed=6.051cpu=32.768gc=1.4367zXZִF! ]ŗXiɟ  Q KUuu[8&uK۟6_`mRc_w5wqHߝ0Dgs26wAtN|QwƲmYt9W|_Ke2j=nNdN %pV9Jܪ4f?5 dYt<=`q% Z9+[+ 3x VavTh"&3[(zk,,ކcqoIKu<]Gn,qLF"G"L5s'7 H\sC[Wpx"kꞦZC`ѹ.yGfs͙eueE!$~P'/Ӽуס> ĵ7sf {sܼs˚Qh[L#, dH={B;@lz:))I |Ex֓'}Cp0\yç>ʾo@'fM+QzGOαt M2) Oߦ[ʚ<^YARJcܘ\rOqamPc8‹ȡYJtao"sG+KXL{_s,ҡa t`<64N]gAX0K 6<31̼fwfCiTu xX}1]xZg0 !~(0,>DOX7&9O{vnÍ s gYZ7zXZִF! ]ŗXi%L(h^w:QYkHfhHa/EVD')οV?(_{5eC秊*|"%7AWFx3QѣTDmI=RoԈ\wZ-THpܶ.vDcEєAeT?2,~O rb|HՓrzSF 'JSa.So5*1bH y*JЖiEԮ c I}a29N9ҡr_rw*(|x# R iÁ/4o{RWn]P[" {w} q| I`G" Ia&(+ן=CPYn^W{Fm`Y=hGnAIksɆ\ֻR֡VmF qSA%[ޜLo64>6Rpq,u$ 猟=,y/nvj?d6Խ Y$9f(=]Cuռ"`7B=ES\SC$HTc >Ui=*@78_m& #`=OX4n*Ul(zcyƓf'Oܰ'Ce|LuE|0:ϙblQ_#7,o퓨.U髎\v&t%%|Hh> F@^!&o; gYZ51812a6f809c769441c4bb4e6ad0deda3836deecdd4458878f01a34a1b5791d5d83a4c7fde98b709 78415782b4fe7c01401c64fcaf9299979771890d 29be8a653194c11b7849215d0b4f042c8ef686cf   ZF-UNITY