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  O- T\ ] Tarskis_Geometry:threads=4elapsed=27.650cpu=98.336gc=2.596factor=3.567zXZִF! /]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-g9P-` DY.QΒCMoi\&^ dU76M>{"H8w`en*j7yMŎ z4)wV3/MwАvj"$T)X >K>B{ۓS-'}/!U=5 ] O{Z N+2r͂mk 9،lQnqu(Yz ]XS>9;+a$]?πAEiP`gB))XuNtKj/ᥓ ؁ToGsmxrFK">'*Rtԓb;qoK*npi/n'T1xa(+)k% 12uy:`"Llm}U'  Czx363utE^њf r߼ I-)]5YC  - Tarskis_Geometry   &Z:**: aq}7Tڬݸ֙H730n y8C2L"Tkv"fSB/ |~y@*>P߭(őK]EKWV^g=Ec#*q' Cr5u6`WS. =&]A>660*.}å9>%u`UlntVA e 2}E 2ܒjd; oKقzm>ЬTn£J&{ >ʷ ŲZEɌ _q?]gYZ7zXZִF! Kc]ŗXiɟ1˦r1`*on`Gï=͠AQ%^ )ɚr^}f9vy2؊MTñ3̒:K3}) fUR֣R7wn1B bNSIRSAFׇ@&8qȓS0-COq/u1vlZ".+c`$mSU?RkՒ3wٴت:кQ nN!z }j|_׽>PE7>H1bwmȂ/6xrI0=j7&gmmOY)8=MaiPlkWG?{hw,ogYZ7zXZִF! %]ŗXi%BbU{'?"9T~=W$e ˌY CxZ=2cH(_5aEx>f%&^ۼ&{Ȓ}%復5N:f}_7T'BZFjQpA3MILӳ9g[4^$×zgj CZA#)DU{۩3l?0x(_AgirUʼ0e cm핪j̕Q j}-5TqI7n2猑꺜ܼ>d+QQ ɔp[WʿDoC[r{jF9}t U6yƲێ^N$)GjxWU\D r,*$@OP,he.~tõg+l"8}_ ˋV 7ca14Jw~T.rv`<rH0Z >'u[:eXפ|򠊱g A/yֳdz]i[A0R22.b?@ * sM}`^e@gXKf<+Xt-a VLh̩R=0n _1$9|v#{wa7Nw/'@ȁ$F.;a%"I qPHMHlSnR\"7 اN{1z\('O[QZqT=, HINjnF?dA[|ᬑcj|m:NKlҊΒ\hH&DL|P[ |svG h3eo[Kvtłƪ _[#WކgMxGfKT=eRUگ8A>[N:M̖  7e{ݑ, 32XԺmRp¿G Tab/Ǧ{үGsoKnuZ{UjKUQSNv۶θ jF2'&]M1GĪ_odlKHfIF ڵ =&(8/DRm6 lp_tnEف_4;#D#8:}&yaC-P6cf^M vTm'gEMѴ^nD S\]MdH+N2 6›Eg[б4nʢ~۹fy_%rXV `UM%|VQ")pc_JQG@P˥]t iGc5DMgmm =9-S stMg}R/N/Rȧ*Ǝ O$03aǢ)FGzc6A Coc.O5a)pEU ^kLA^TvuBlc'n4 n>TڭCNę=FY+p+_N\)"9 ٿwN n5A`@ uZg;'?$icBr31½q'$5VhR"O(mY(e,YFPU2 rXl* t4lU:GNÔ1.@$\ /^>8?'cNhbㆠ#ȗ9~GÚ$*'!h2,-L˲`=ktҀ$bϚ05ʷ4gub^)AInMq=(xbް8I%bz$uKvJ1 ;s zPv_}2lAˈj)yU(-rr Љ2{M?P,px \S/jfcA5#BT`-NIRG$t`YB+۞7!:]aU&%[ZlV`y2]sHbTT`YVQ5BBXvŠa@\}LR]=(Wl<&ȁCJwk&W{ xgd@K MkEF,]N{UB&; (XLWQ~ ThD9;(ׇ-r~^Km7r 3}7Ӕ([{*[~0y xgu"fcL}1,HJ"+3dֱgYZb82f23f6276d5fa4767fecfd1dd0b05e6d1f6cdcddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 c8b147bc048e879a9e91b707afcf0f8a9db48dfe