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  << ]S IOA-NTP:threads=2elapsed=6.777cpu=12.836gc=0.616factor=1.897zXZִF! E]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TwtUkf\o5e2ªϣXWj[j&U5E_jJF}#K 3C\]>Z^ TtRvIA{op !'26JPA*ڙܝg}^_z3N\ZI'6%w\mUGv¡#3q;F9o4LSR5$'V9[u t'Y$u|٩i: >0N2gYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz( KHPtޜ7TU`g-l>XQf+QGgm2B**T y+Ĵy:3= v5@~+" a6a{T[nkfgB+h+@hRdL(pgYZ7zXZִF! #]ŗXi%>gW FȗtC "C0V%Aa=yO Q9,x,cg=Зm5ɼ۞+\L09H*2Pl/X^.L3MdGX/1O;#j`hTogHl$Pkww PCeS$=j,U-.|)l\cd"wQ 4oGڋ}}E kݩe#MEV"pDÇs ":"2Gq5"aA CijА[4r|mCͼJrيARڞ^RU: DRߏ}_M94_%3Ak _N1]Dy}վ<՛`ѻCsOҸ0 >kDrOWݏ"}QjlJ?lE1:xer+ޟۻ^ hf,,)u*nڇ!_ iq`H^91Qz@bǞEo;p-﫮+ 6\>Tɩb>>Mi~7,TnCquLЏ_+"D3 q^*^Q/ Z9 Sj3&?ϯ )է[hpt zv9}ѲEQ_ŽX|p6l\Iնm>$}ҞQ) Č!6_-s m4Q:FnW5=.gXPF v?KLټat f@ٺ3It%'A-D