SQLite format 3@ .0:  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  4$ ] pGCL:threads=4elapsed=21.845cpu=82.904gc=1.624factor=3.807zXZִF! #]ŗXf[&.Ir?.kL|{yց14q8$d$;y@VYB.+TW0&hsTqpI#ke*97«XYO\U,Nšա }Ts0),PԤwt̻j2 ӻAQ&NqcYAߕj1SvF`M>Q5?w`!NxW5%:[EOHh6FL|P,C9a$A''ڃ3Z9s9#&'™Z,nK"^>5$hS?D^ =ruA`,AZ  pGCL  Ĕe_ [(?wDFZ)!Σѽr걎1=iG{|И*xjlFDU>=ڍRrYG-k|(!6o _GM;8q@(2tnBNm;K,Hǯ6@v 6XY0u?sr)DfCx$VQ0?hfBfahL:&lӎ H[,%O';HR2f~֑m͸KSqXVT.gWStS OrΘmFzrF.Y@D$ -lDZM͆)J'74PS핸i*N V^>n/8FZeaC䲞d:1`k~䲇BD(V %ht¨^0ts;k3ȿs!yC8sc{!VH&` djbR|=`Q`)cЕ:ԾaU{Jp[A8gD})0#%Mjn )X} Y%F ںGJ.Vu׾Dd iحq+=l4#Ohlޮ]hR7Jlh$ฅtY'NfXRgkЊg[<(KG~YJZ %u}h>b{6EQι;oZ J87?y?@AiK;JRb&xLc}[iMۏz>jT{᎚)i[ "*j w^j'yr 1bRǤgdИʹ~[E* :2i#w&|w/+iUՏwc0ȥ볤?_ӤUw>ʲ͉ mv`2gx3fk', wbÀܢ𸨤 K'?Hp3dN"[aN"6:k ]`ܽ}5c4Pf=hCe2U՛}<{q_mkwP]HoPq?V︴QyF!.Hjvq Z }R J%JfEQa]CB]Z*acwP.PE咉h*Ԋ<v7I MU I_'({ͿOvlp.ޑK sVN%/Ɋn}+"{~#pܢ B~Lۭw?Iq ܑ?'ɴU{jeqcK]l}B]lc܍ImcvuGQQ]4ty&Ղ#1Ҕ#F)&'֘ 鏐yt}>Dvp;ԏF U O?lpENf l v! 'Nt D; y~c?êg%+%9yjW F[e5h FЯshiewgH>6 3ld=J 'ɵ^gc2eʚ+Gz VęEmD@_UvބAGB|W-A #] 0#˰Dhơۍ'cMXVqq E8`UYP }h>+!qATrI}K0دSԙWg;TO3&1HMR Tr3k&٧6/kJ(>kVH;핪>%I1b_^jbK[}5'8q~6syC uRoj8F3b3FXEq~퓤@cmٍ E:FJ^I3ُ͊ҐY ", b%gA -h<=gΏ$'V[A-I $K`,;+fAW]o:}WC3Mja3xb,`GI\H8jNOPHeY@<+۲jD<֚u4Dt:e q|b頨fpQzmntwgYZb016b3d2200da3f833125d732c19fd10d4724db7ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db