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 j $$ ]/ Heard_Of:threads=4elapsed=25.007cpu=75.896gc=2.260factor=3.047zXZִF! #I]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l :!W5NOEDY!oH^Kcr H(FP}p\,#Y;?._nQ"J'R;owx6QRW *U݌-.T^ ph@B4Fb'AyWR/47pj:eD-;+4|/\^!(5% ) _=ҺWr[m`b-<ݟ[^83z`njɐ<"׺a?B錇uQ$4[w7<},A r C@.(MJJ2j8?x   Heard_Of  2so.Q\Hěcp#cñͶp\0LD宕ԺKC-%qf\b"8Ehikh *k$՜;ҡL)K'EUAHŃLٹmV捁O$z㴯K@r¥%j(79;`f:(1$Us=v]0dv c2En@]M;}Vkd°ʅ {0ݻ4;*S.d80nV OspGv< fjSw>1xb dl=BE<K$B@B]v#\jgH/ z> US1865`9?pz7<@ϓg:38.;%dr\6)V*=l"Jmk8#+l9s*VT F避Uz# J1Qj?ZaFܨ.m|)?UNbCf6.k$TD`Bȋ ][Y@WTf?k膫/oU5u% }Pgyb$z!m414h=G!Ef 0j.Tʰ?~)Omt%I赦FE;ْCډ#:3:k:)Ik KWSױDOO,\ڢמТ0h ZА}eYqV:;&b%04Yn '•)ҟ+brd/[]a}~0 gYZ7zXZִF! ]ŗXi%B:gJO7&<˼ 79=&Je0Uv4Fy!/Lzjאr-7/uqz-. .ݪ 8"foC7D>qݛվKuFɷ<[dqV+ׅ61dyFo&JPw-ƕporqBKm?5.)ETUR8w?!>.]BAzu(a zItp)xu6}paiIQ,gkLec狶Lʊfdf ̂0kSTDZ-UJwL/5k|T#$I3KŨro <,$oPYAK #$Q2ЮH8[(Cx]T(rK@םuѪlΦD UY%Y,2jS1}Rx;ic+2)XݝpF>Eh:ٟ bU[K6']Z)6-`|ᅺ%LNJ3CÄJ3To,0.k{.O'&cG^qcrl WU)r|d|Rh.do)bՄV״C2*4"J^rh5o'=QD%Ķ!]A2J??|t*>7j4Ye;/їqٴTeJB3T[Vd$D#(3TV$ڮ*X\X6>A^oT)B J?=\Oi[AHRMd䃀? q.0UcWo1 -Ydcϳ%Aڐ`g7VcΦ>o4ގQ:?>jAM}/en&t)ĝ}V6ֶű20~[[WQv1YAu_+ⴑ}uyW/3F 60SA! T2Dw-ߖqz`m:23,] =I iu:4ۅpDG]CM䬬MHy/DSu C2因/]v~=%V=\p *|;],=>oqƠ-_P!08=8Y2kK^)ZfWc՝rbSy5  ? y$Łh 5dLl3Peg?F|4zIT/e09#1NI@v^P؆Mؠ=x3-֯kwh` :C y;T\;;AJՙ^Ss-4pUO@\JCصvTE{ ɼn?|X6WgǛTȮC!Yw5ōLL*!kOGmJY?OEH/,q?>:ӟ !in@Os*>VuP$KUw0;ca&펁ܜx$ vGPmZ"92i,!5%ENڏFxyl(! / {P*>zG?$={]Nݩ㬕o+:KD~G68 J\u!Ui eY8Ts4XEF emʶGm˅R Jy[p3)v=sNxuGՁ< zryTjmDSh~zmZG@A^^1GVzjFi<%C~e[MݔpŞHUQsW;Dǘ^_-t~8@ة4jk#/K⽝Q9/+Kxs1+0RVc]B<.:я PbQainCvq ZgMqoB{ȣy}]>9^Ty.ԅy/"ʢQ^R@"yC;UΔjI?*e(QYʄ rF۔bOHqjO jEv(a*qf6%0@/rSR\|(h^ `X}@~֔TZ!C7Оs8:P9YXrNٚ+:Nh 7K[W