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 ^+ L, ]]Sqrt_Babylonian:threads=4elapsed=13.480cpu=32.420gc=0.476factor=2.407zXZִF! ]ŗXf[&RA=# RA8 ~m>.iwzSp da שcUF~8 *<>6ѴM>6PSWTn7 tL&, 4.F&|Ⱦ' SXз'lHDat"KSB\<5v.7zo =|,g|PU;4*Vta ))(ȯ.n~fNhnǥu95-{nq-*\7#"|ҐIVN/أ#ٝ<%X..v- 1LggYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(#%YxWr4^M>o Cy]7NڳDˡ:Zz^p^ãA'\(e2z׏ Zr72.޿V86;;&CtPR;I?`宏FSL,$6+v@385]{z|cM]oݜb)=0mFdu,=Ƙx4tveu%ݰeHXb[4w؊deK2-`<M/e٘^6.Y46"Ȃ9v)N%6_i46YE^֦'a%'3?4my6my&3zdC;IQ$"LaM퍇Sn4D (tbꄲH W De'(hZ1ka ѽt_Amѽm ZG )΁ZqD s|']ZKSrb Mx\H' 'Rb:u+xarnG'#8~^Aѭdl*Zw Z5\?]R)4Q)$H/-6j2 ){u( 2BEmJ=9ۃcf|”kJG4S;qE\>I$W ;Fë`ZuCv4. ,j.'Rh9Qy@\0kƱ/;g0.%Ł%My.0lkf*KJM<% `GlUg(N[܀4l.?E5FGPlH_ Ll =j>j}tVl IӄپLf 9p㏱ IA%[C ƚAF{]U$23@*½4eXP/y bn]Ynsb`i@4ԥ)0.ߘ4i+Ic4^`| =gYZc94b0d39f7aef92cce27f9f529ed2bc26979c9bb76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 aa4dcd3d205982c8de1978ca18595da7aa7927fbae61b501f4c3417ef15f9a304697e598ae965c29 + Sqrt_Babylonian