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 ^' tLt ]/ HOL-Cardinals:threads=6elapsed=7.712cpu=43.596gc=1.908factor=5.657zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIwmA5&/r_2 Zʥ1Ė E4L45),h 8Cn2փ|Yp9hrEBq5̤DH^,6O>4Ꝕoe38ӳXG}D.mO N:UT?i>jp:OĻLHDu.h*P*~ؔI#} FkiAJ&YgӢly+w'(J v9ـmco ȥoy\@uj/ ρ兩O=@? t6O:~?]Y4Vb4KH]a5Q_0W*D}DL  pL>oT էvڅQVϯ2x71bOM&XؕQ3Ʌ1?:~)3$bcΛ]ּܢ/vmT`It1H۰ݬSdpXOC=g$ơ ACܚ9 i*/gYZ7zXZִF! ,t]ŗXi%J IpUEr$ƛ s|̓^ Yu ,оg϶T7Q>}z 퓁ٴ<m`NR]Q`2çcҶ :d">O_Sɘ1!27ꂰtQ_LH%4ɏO U if)ߌt:Lhn3L=4v)1,M}IM˹+Vwe:'`OipGzWCAPnV֤?!I>9S4ʹwN|Ud[JnwNJ~5d!K+|Vm<{W`*84ve~V^z|uZym/k,LX/HB䕴Ip,]vܷ NQ1aSD &y-÷5y\_&6Nx{X{QE!v]0=0tH.,tGr!LBU/~m6G"z-מUKaTT#320LY8: #9*Ues)2Uf%|Bd6DQAm$ܾ0Me1q喷 0'HoX[h+|@= 6dX| #+5G.jPIJ`QX+58vIg(_u>QOS