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 n' t ]%]Matrix_Tensor:threads=4elapsed=39.638cpu=69.360gc=1.668factor=1.757zXZִF! u]ŗXf[&L_1;vU+o3&-8~.eE-`PƲyUQP-ҔU !5/G^R}lQݷ5 G@ӷ]*6 !8ʕ9"2(v("  $}䒄C"K(ބz Y ) ?p,5w̼0p]t`+0 \3;C>{1ְC ' Matrix_Tensor  JYB}P8n/HYd\Al6EIg6 ΣT^a T&F#0 .ɶ 1$i P*Y7 ECg!F=92k)$9@Oބ/ex +s c[ѡoE=ؠY\_`S Pq@Rn7+_F-:xoR^ ;@\"^JAhV8[sю ¥ӃÌs݉d9ځuP,}>|@Tneo΀AH8Ąژ6ܟa.*mI$;bQl!k}YZ7zXZִF! ]ŗXi%G'ǭ^16x=p=05VK0_c%pI W6PFCR5$-UOO*qXD`}?=C/DQL hH+ N_WBoT9c=lV—-`ts|nBU2zgw,mOx}T&fwIS_,C٢Ma2c"1w0QrfːmLՍu$O9MUOf=n&ٲ]NA r\ XiAu#T^!uyA@5ge&['qn/PwC}Oe>kIM>oz8xhey"ҏ\:`8_a>ahnMq/4'Mp`-YC/dtxP _Cj4ʞX5 LfB .F&7#=D4~9OZhΜX z2`6IXBԛƹ< e.E`ivðof.Ni aZ$Ӓa] `fgyr Rv7,p rό]Ĝ_~NCQ/~[RDuHߤU `&LI1՞X5D3mk3^qkٛ}|(b$yTu(ꍈQ:d.{r,?};UFH( 0GGgJ:ɝa3QWV%s{CO,)5,uDdW+%s E0d"^ġ oo+r H9;֝/‰O-QA`"(fK8֋=*J!/DHzzO7Xj `0d?O{$cIxfJ}lJMnqҚm#:BAS2VO~uo"_{-5u Rou߅VO>*y43ӟ[9fU|.(UΤUDuP.eXn#&Z ,HZkmy35,qɴw7I'r7u?QXׅ:#%DpWQR@ ]GY.\,$uEMdzUeʼ =<3_6BhnמukT1)!yQhՌnqkz#&zWN|.i-y]rҪK?=.DZ uhZN@ P~$-:MYGV}5llj_#3, EmȰqŌF*A_\mW6ASMϓ֪ڊI!UU;NkRCƮϠ˃I/M%WduU-9R½+ mm:} M*m)W ;fY/9,ރ=Rq<` T%+QuP{4S|m*FX!FuċNJ# л.+H5ֽS aHMdЍh}D@_!BͼF 3?x|K5:IƯ4VD >@N'3IXɏsE;CK^LZ N\zsnriyŒ'$\ JYy{zDtSZ22ak=xFc?5E==wTꌥ}Jl#zE-\j"Gn4x\B-(X߰}b/15Ja83%D$’==QU%}1, :q-5cw$(l8c8 %߷VF rZe_歜Oca*s%fh$lǣD[@ - zWVM/bV.5e]d2_|b#?zw /833*+]pVxyibZX׭E; ߕҏ=B4;zgzt1ܶߗQPLW9A[>%Y2QwnR0Yjc$%c^.*{'G`k]4 r\dkrgYZf2c3d1578238a2063b229413c4a56e91cae0e8d14e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 68b2d7be5266ffebe72cab1b7d59b85efa92403b 22945cfc0161c3f8786b918cb8f69b6bde0e0b7d0c41fd29a3228b2c9642c63dfed059bec083c3e9