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  5$,\ ]/ ArrowImpossibilityGS:threads=2elapsed=5.162cpu=9.888gc=0.512factor=1.927zXZִF!  ]ŗXf1-/6vRZ]o S.AMLfDB4ܮ..Wk H¨wkaM۫Sl"s@P1"EpA֚bKxm/TA_ 1>ZŻb"nds@j%k/bu\!b6=+É#!LPNZnI/Ƈϙn"La(m-X5mt K DZpC2pҞƫqcJ%Pm"߽> ?K'gYZ7zXZִF! ?]ŗXiɟI]gQDV\"-Y_` N)]V`cۛyTg*[1yױ9ftt~3'٫BVqf\'DlD+qs֠gD^S1m{3gYZ7zXZִF! (]ŗXi%>g]&D)lxQU쵘͉nd㶂,Un >&tٌ6d{ +lJīb=J8Gxn(Fe[Y~_v0N_@Q\'&h`WnFKҙn:lO;q ~bOރo#6u(ѫ5׈CP_G$F8}, &mjրdл݆Ѻ {p륊m5ހBUU\Pxycِp [VI!l9ބ+|T+ uzj[04]`D|AΌ٥akJNޤi@X8lG:Ee3, Iq%b"{q R#@XE(( b>w2Pu1WwV) Z3xAKuҖa)ckUy6T~"hUi6ܢ1̧nSLc>9cokC % 4'Y07:HWNs KN ݨ!YDkXnX:vmЌM>{Q^6ـyEɘQ+oJQ%۱gYZdc343c368dac333a60f04a8bb0112ebaab1a0f95a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 5 ArrowImpossibilityGS