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 | ]/ Functions:threads=4elapsed=3.422cpu=4.448gc=0.000factor=1.307zXZִF! y ]ŗXiɟH)0%oK N&L?i0A.Чd-ڵD7R3I͝{b>w$O-=YO>Rt !acwGN J)E2j\mT *{ Q6e#f1B\B=`^gvuU FCWScDWwG!xib 9l?pIkDG`$Pq̖:9 -%# @F\l@Vƻ˵ǧN?3ȧiz~0c]1E2cwXI~8I ytZ㜩{joa<8õ^^@d|,QeKCB;N?G@x,q_ T080FT~S/#xS)2cE,PJ0xPm_>Y]W4,z{(A&P)a#V.&w> J;UO_'>ATv>cPjm*ǥc}.fP?lN1ZᷜGNܯX ݮuA\}&H Ҧ[DiPYNdQL$jp&2~=PſUf",k󯤭q{wNzq[)4rQB#'dV4.uO g ii*I[uk[\{v\KŒ| a&ـ`F ^!2lKclDDËsj/ƃCxKS'ݱ7i6i-m僠Cyh*6ih{3vlKϥC$;']?=676k8kd pW{&BP|9$ڄsƷӫfZ'2; Gn~i, \P 7!M:ՠe@Ԍa;JgO7ZË7V#􎼻R&o7lo ²[B/|lεcNV(1/V,#"}g: 'I}| (9~(VPǏ[5뜮 t  S o9 Z(I @B^Ikb Z?ČvQ!K_Y>(4l b"堧$3GEҨpkc :3"Ӕs&+<oGKR- ۱SjYDTKc H#^of (6Bŏ1|\N1\ziO؜8'U6Sf|p<\~/iV4crvOT]1}=XΌV ܣq ;kLO{H:9%5 g?Sd>w9!k rz>؍Tl13r\GD%V<Ӻ0e:-`0^^A3LJD#wBa8MCzwF!NjV'H@gk ywbmdȌ65GA·\>[rR_:E䙂s%y?F q/8rnS65?Wʚ7 v|ϐv{JFGHBtw$evȷ}V^raNJ η{*Hn;%eM3]F_rQO1g%Vr!|XdU܃:?3I<2rAaOM$,T[jEG/bwXY w+A0^]aIF k˷#G94tD:^GJ`>8Wo,E DkxmZs~QrsEoމ Zh n6 ܗMJSj?r"2U9Ex;#w;ۮvbMkLiHյF@@enyvn]xfa Y&ȠxK13o+A]G2踚i X.Xu4 Q[cLLO/ 1,R gKb|I,yK, Ngxa\TÄg7Ht?B-f.•g@`R!W0HƱgYZ7zXZִF! G>]ŗXiɟupX鑅H}\{G7,>/ wvzP4A BZHW}YZ7zXZִF! }]ŗXi%L!l-;T/Tl(v_̓]ﰿēִa#_-Ъnrd0{ݮ;rm0VLS? RrAC?/^ mg'*|j-_~.lq]mY@<4&D9M1c^F6(h@*v\kbYu^4g[Ȍ,my@w*֞I_l %iCx6}sYKK5ʂpLeM9jcA~G᤾+_'-Ԧ05]U.J])_0Оb7=MSgbE/^_`kX܉gI~ʧ۝`G?nN '`=ϑDd4g+a &д ̣:\U9M1Ȓ[شYJH]P ֏6#$l1@edûz 'D\)'sy?`F]ܹtef(e2Lorm`>r`ϭ2 6(t㖎i<Oqa"e51悇񙺭P) ǭ,',@ U?+gYZ8ef65e269eb11e6307604a93df7cc4fc814bc3908215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61   Functions