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 1 L< ]/ JiveDataStoreModel:threads=2elapsed=12.788cpu=22.308gc=1.148factor=1.747zXZִF! u]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{fCThɩ;A,5 ~ uU4)և dMA%WͲZdsvrJ6Fj5i8H!! VĖd;9YHkъV_+s"–rzg~+IQ!@UTBI[:G#A[Z+?[K&S1O?Iݛ3g l BrU;"[gYZ7zXZִF! Ok]ŗXi%;+R+I\W} '< fL39@h2Ձ0$j!V<}g2t>u8z~B҃r)𳙙 \V|/@ ^eg$pkiʭCn*OZwi&eJ8L=$Bʈn~٦l@ ?(ȥwn<ǔBfe4,&U4QumO?6p:sdM.MX8v٣d'C$ H{[}H6hzQt 'ͩ }ޮ W] r >ZP3p֠?{@.{KHkvP^JFtR0/ˣ l I;;)fSrKwkm( ʙIc܏Ttz)H\øc) )A* ꔢ?=dnjkIi>J{B>j@h*d~VU>?eVu3IM<&޻B.Rcqm %-0^UH[oA:qaiF0猙ldZ1ux@ww3"gAYh}.e^ @71N=vnVVH17@QӍUzDV|n yXF0y!§PA'x7L#l"AK-P<őh#pT6kM'ex?Hp!@1Rsdj,_xʩHh 9/w3kN𼟕$2(x_n XOM@,*0lqC}_ٞ]Jl& >G̊QwV6Fl2(*?zp¦=sPg(Opg Wq}[fB V!,Rg/J뭊鉪*bǺ1}VS^N' $iPiL1J.jgWjLJP1I.mCܷEC͜b٢ľH_L㟨 pd C%qxC(/J"~itku0FXZJu Ě+8%LJ#x-QǪщ1JXnT欟zn«WM/6, K%˒  |/gYZ77a04d66083c93e5ec44d7a4add9acd1405ed499d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad 1 JiveDataStoreModel