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   |7 t, ]S Source_Coding_Theorem:threads=4elapsed=4.203cpu=11.192gc=0.132factor=2.667zXZִF! 1]ŗXf[&Rz<j<%mƎ֌\5dtv:dby?mxUe#|N7Jkbz s@!<)ե2+{2r]a ti g ѿV0W e?MD#V] 76 mS"5Ǟg;L7!IpUp%r3&$WAט'/_,,NDF1ƒz`[( )?%djTJCqU&gYZ7zXZִF! _L]ŗXiɟ~*I  "))AK$b @ WŃ錎u?F 7r' Bh`5}YZ7zXZִF! )]ŗXi%B}vz;(`'t$O]ԗ/x0Q`kE[wjӟtΒzr *sy$垽+Paњ}v[2+)(Q ʞ{suxß69MPO=go#y 4pLI~O,Co) Ք3 {MDsַլ4CMjOΈgr3F}X)a,r_$N)aRSH}0J1zR;򤦼*>gpjƾ\fo߲OP=sR{:q1*ePwUc~>J]QiXC :<1|v)\@ <5XMoTGq6¬G[?=Ndi0j-Tvc؆2q˻ODg?Bs f 'zw'^ܾq ~&*6uo3%S2EgL\"i$-rbMם0X&1rUI.5d9Yjk*۝!n-xHprqbqbHz-{ۡ8Y}}*Tvq.{@P)0BQfL^ UKg.zZovԷ=+E2:7~? hPӔ;h /CACM