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 uu# d $ ]% VectorSpace:threads=8elapsed=16.747cpu=72.387gc=4.232factor=4.327zXZִF! (]ŗXf[&9ޗepz,>SvK9Ofh f:un }\\*-bT{h<\аJ=<7K i?%(p4ՑHq'}js YR67$c&X!9! EߒG~ۙp"lֈI>Jc|c0G 2ֱd@| NV_r*OTn&>NbdDĸ• [_bSt5s+)f]BAtI+Wx+_]/:WVdG*F $8M[U24@WUpKUwM1 \l<-@RH6sGx﻽\{/^5m>P]U/&:_QC/~o8/ ۍn2 u숩:SиΧ:&ɮ|!/2k7-erd;Ke+ݍ=gmg|ʋr6kFL9"!OȘwސw iZJzR D;V94Y2{hإ1怽dT~t]QHo+ %W !/mb x%0c;o?R@6ˬ"xC : =R7g,\^'afVG ;E4d)|'etu@({XG/%Lvd)9cMqL,ix)_.E_p&McENVBQၱgYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({WB> |>]'Lz4t{ކJUԝaD 3])H\IWUӳY"qN }?,E}<84VYJ]b{@q8lSW]P׏BY5\4#Kڅ=Jb+.0'DkMfr1R⃞=%-a hqG29/Q 9+Мzk|\ :rX,j8Cq\!՗mBU4J1xSW}(0 JzgYB;a~"߂$\eK׫oħ$5n.EbGCf g0!_}AB)ɭsad`UQθ?,i4g+KI e/RQrIsƩ|-%o΋m.[ kC(69f6z%6lmpPW(e@|#c 6N: il!n+W]ɶJ^_}s$=}nnXGߩ '&|a7)W[v7ngHNLAB1 e r.;CEߔz00>, v^6U(2J"~ @A>8x O[Xw[aB7Nc1#悰1ddO4GQQa[ci(*󭇙!B3D *yH$ -;n*] C UU~f4S>7a8뭌|i`"=MVgi9c*a-;+f"Rvl:Hq(Tz~m?MՂho.0: <.@#rcF gӗs y VQb9{~&6mՄ{s~w5@~b 9Ǡnuا]aLi\a}2rI3mb11Pe4R'(u h Su[`}fݚ4hfOӹ PFVRot4+KF >xj,eu}D)5)Mx۴DBB7*qD$^r#lQj\zAqdT DWN*,-~yCt4O(HqZ|>^Tfxڴ6 eUG./6.3<m!>)D"lr1u PVyO*<4ԉM1s8HUGұ-C h>;\CS􉝚h=-FR`P(Ȓ1\n$cՕ?,9׻'l _ יjB+K$Q6I/΁3A'%2řU?rD@X+RVw?'Fas"53ڴ;Ҕü#I9erZ"%8q1BI-ggq>s\)=ծ v :)bAܦb.-pT@pݞb&eD1zLc4Rݦ-dXDaN!-R E⏠ c ½w*]`~V gXAӓa߀ c5gYZe04ff7d5e09a8526f0f1bb088c3c0d698f229628c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 19b45f5ae2df88080122fe827653eca7fbdfd042 3b45769a3b6b500524c843853f63b3c3e722aae4 # VectorSpace