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 P9 $d| ]/ Locally-Nameless-Sigma:threads=4elapsed=22.804cpu=80.404gc=2.188factor=3.537zXZִF! $]ŗXf[&!вIkʬ:zSzrƘB:~!o}Jwhvcm$~.cэ txMÒ5Ĉ+hZ2},HspΈv2١5~Gl:_`91 epWѭ|m. Y;ZK*DU89ךWK3zXEZ 7"Ew1˒}2)f>aMiOckP8QUZ&x]!)#?dI0tl)'7ټ(WO^ -Z)PtG_GE_Rg)ߒA~ΒZ 9 Locally-Nameless-Sigma  p5Q&_$Pol N QY(i[W T]%HDD T6Af;tӢvJ}ݍ*,U\C4iTK(r~EIqS>83L גe#LD?o\5~.g4t }14%V'ضPcFYm 9Cf ]eÒ2"Q1nCzǢg3Uj%Ǩ&iqU(41 yz.V>A]Bl'gDP>>EhPV֐Ϟn vm ' J9ၫ.=wx?2p|G?=zڠH:70O!wzDG!B1<[[w68{gBczuCaH)Uo3$PV$ԓExʬЇm KS͖ Nѕ9;}kZ.a9ϣg+"1~I٭K. p 2}Hx[E"ehlb.)\TzUC9RoWj~`E*V~H?J!Fd@B5_FuG$*]cLd\tWb9%Xn=n`&)_ķ[[ \3/{]ʫmLj1AT Y;:Xgwl>UjjՀM; aq( ZZ4SXO5H{"z iɃ) ӚU3h`Վ! YǢ؞ v 1۪QgZŚ피hWZ\b գESC kxn?a~N1e۲e2nƌD^X,L-x?GD`ǝ-Q\&Xہb Ɛ!m Dgnc(|m( oXO:<&Ay>7olamSXS/ZmCfj3Ҋ?w췫x@aSI1Wjwt 9*at66qN3%f{X eY"Rϯ1+y G8JJζLUS)f?gov9A"چҸp9'/i_nr|ͅƚOICT-WbU 5mHVE+s-yV=׸.$5? vB3ZXP'`DYV\6,*ۇ]GJ| ER@S/I Q ,^(AD7U4sI:ݕ@Eڝ8AzF!QB׮ޞ@# h$u%"Nk!Rb'gh9eB!@EwFݜLK