SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 V+ T ]]Sqrt_Babylonian:threads=2elapsed=15.146cpu=24.796gc=0.752factor=1.647zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Ky+ˠ-yRRIa(/Y/sߓDZ:p6clY]t o-ۼEUPh-R |pZ *e/nCǝ6K濍<ٙAWQYZs5g[S_AwM"+ '79SY!=$DV<3(g낄#g^ L myڻ 1C3kȝH]B*lUng:}!1ݕRP 1KyRS KYڌenH7Kf} 'f#—Y]^&&8;wL|_.Y]1\mA654# _.݉s2/r>xRPm"fA],CHW˾YȆcnXNWAgveLn7H2&X!F~W(:(e>s,9@ SGoBF(9ݼ!n땍=uxbRA[)hn&V*'TCv~]9 ̮IWɩj.3)T#v$ nqP>/sM&yD (w8 Zma ՙjKD^l` wEoQE#)rIG1'20:yu.0P{)Ods\iB~.K#'ꜺQ'1yE+Ȉu9bm7ܧA"|s1%e͊cl54֨ц$:NZ΋鼙;a5Jx&PmO0s^1djUѪGx˵NgP{؛" p@?Q #>'߸K@`VPb)} 3a #a>9;;bR!yjڛaqYGuP5bv%/YU &`Y>EȈ@uH7,bUKFG3$Ɣv>?փU G\^͓omFQ>C 2he~gR >¼78e{ C5 UO gYZ349023bf70f91bdfe2a1e470139eeff22ad95ca4665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 97c50a7720944874a36d865fd8097b5ddd5bf39ea962f5226c4a30ab65e8b7f0328790ba1d6c3a41 + Sqrt_Babylonian