SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 <<-7 L| ?m]Pre_Algebraic_Numbers:threads=2elapsed=17.948cpu=34.400gc=0.784factor=1.927zXZִF! B ]ŗXf1-/6vRZ*_u#K{Tujab"pm͗t'\H0UCEp[olvm4tekk>9|8AVO#ݟwECȠY-'0?!iᥫ.8ћO2;-O1Rb,pʸsx (U#ȋAVI(ͨ 4{#^1 p.ܒҟnk%직ވ>ܛ)Ϩtq#j.P% ɺbl VLX>-h:&\9֛ #C~! "@@S3J$#Brt@ COPhyUfO1.|"L9@Ww s/f<,󛝗]$DR-ֻgq{at\@HqHWCk:E봈>dT< $ޡܵ\4yf҃11fpK:p59ѹV˃Cɑg:asWgeaϹ<Ǯ{9Iǵ$$?CB{Ha|%ő[$2 }u\#޸*'CF|tL~Ro!8D{= &E8"EGMcEQ#;vP)y'dLP2SqՁG}r\^OVµO߻k(@,pFmhs>ѹQ 7 Pre_Algebraic_Numbers569Oqb;"}cSWVa%p.E;9LVLG7j%S{ʌ̷!ƈ\!6Ihrct!It^)]2yWy^3]`~ͱ_MXQ@>T{<(f15;[1᪵3, X {n2$&LN֚4t^p쳱fi.!י;ֹCg;Uc1`6!:(UtrrKst?YuU< g4[w%hlΐa׫ZF4\˗m31@}lq &o( YUY^dv+_-1kt3C;)x8J'VG4櫏q{qz dzqM3]h'ЍvՁx\GDߊG6^p γڐ3%3,{Zei6")?= Ά| NM5Iw $s- ^.el4VhANluΓS 87KTyNaOrJ֟+)yz9SůqTUH1'YhBS!)37kۊ:@Z8T3#^7Q`z˔ 5>NG㩋"]?چ|yf3WtKP:,kO`EN+q,Yh<ŧĭWVJ'L~&igЇThehHJ|HԬ֮>8@;*ը-[K@T/z?~˻RkF*pkZ qd:{Q_Ӛ%Pt۰}T]GlZa府ƹeɪ:[KZ ;j?>-hXbܘ`BhM]n9iFSc9~Y}gᯩ ⤛BEK/`g fE@gEnI#Unj#KZO0kD4r';}ʦn#9N3SZBԤP^Z:A[]-?ހYq֗E!I/"q͌%2\ :YbQvdܖD>G"`,ALP( N]0yWfL*qhʶV0YB?Y# eVo0H53w [E,dL"jnǣ"#s\cnķ×~ePX2xT#u\1 T-v|H{lgu͆Qu9zqYgwJSÒI$Y&h>J۹ô?ZgYZ7zXZִF! T]ŗXi%: 0{a ͦkBLB$ GﲮlCWP Qo+ʊZf!25IW⃂7{]7>F-gaߎXi{1YLWO`g !mUʓК1 dp݋=tӥEve:c6 E.&dCe%(A426a\1Mon譱`1{Um7# >|9KM6+eű"U}/Mf狆K3؝a^HFkw4l:YDw]VN9b R= v;j j0$lSk]PuY N#b헃a@_oʌw+ZuD䢞:. *ȱG >G=jb7sw|#Y#XbN