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 Z d\$ ] HyperCTL:threads=4elapsed=8.455cpu=28.312gc=1.044factor=3.357zXZִF! J]ŗXf[&r>ܞSd+Ǯ5,/VJY %WJ,m0$$:0B jP,e Z%Y %kS= ]6\"g*V@ E XOM֐tXL=2X92jq\-pϿcs˯πԡh#w-˺hUr:AȚowçg1_855ͣô{rӍA5łLtrk xLrg7V ".n/%UӮiEUGm!TX].9b9J?.2"Q7H՘&u ki@/əZ5U ~`R#KZyWzrf()']m̬.]>Cd*OD{dVDrwip~-AD8eJ3l\f>r$ݗ+9Fd'{}·bOw)mgYZ7zXZִF! ]ŗXiɟF@Am|{'h1DKފQ>[_S^`*yX7-v@QBQ >NZI]l\uY-8e`݆u`->Ya?07ڼt>gR-(TE7zR[gYZ7zXZִF! C ]ŗXi%ES30OF''k(SVBw}#:;_ o࿯MKI_2LεFaSͦ#wG^!acDGG]PVBRP %? v]#g lmpl ~uYb'X%Ӻhuk9tx@9 *ꓱ)ӈsNI d蹖ufs|NRB ؖYFF~`g9&lH ziK__ 1H9+.\oĬS9cjo{tw\q~J@k&O¥l=ρ|ec ƅUƷ=o-̳8Y£ZۥiR!ԃAL慠:qobGH!LćE`9 GF*;YHi%Cʹ=snx& q絿9n@\4| d-()+[nEJJs. gF<@m c'0 ORMI=r4mcځf+r}26&=P}eSl'\xb` /'2GrUI9OB`[׋*6&6RpS4յV_)D<1J5*2Y/I-Ѣ#.o_|͟|ϐN^w<㷙ugo} ɐ9 k|0 F#{d5$byho@F~ҸؽlFAlzaE#JfLީp.kV= ǘMRHT}"YXu_wt'JϼlZ11|99\tNFUn6*19w?4 mTܨ4XNH؇Od1BNc%'=_llP.ҧ=r=0y0Tevo3UUo^kvꐷRiAY y1!X꘸9 uxY@ n!C5;\ICl uykdtȥГ\A^w;ܘov};(-/i/&t3XZDe Qr3hC6*qY⓵}qњ(a/kinCMŗ@Jpݩ U aQ; }3+gYZ4aab0c2508f2c90dcdc6a6020fdf92349671966076b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403   HyperCTL