SQLite format 3@ . BBh77otableisabelle_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\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.957cpu=22.748gc=0.916factor=2.867zXZִF! G]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa!3Y4Y0U3iYM;ի&Fd,,OPmG2{qQ̨o$cg;c4(&($hgV%WZUzcO6qy/g̈=NDnM s(O*`1d^ ktqv̇{CT?vF XCG 6bO_TV])Ru*ɫ[}dc˯HWc]e6>B:hEF6jRH4hm]K#/(pҪ_O\cn ÜKJ!}וͺmdFϤ Ӌb~-mл΍oF7r)ri^0 |::\i(m1/"%5'4vx,"h۽'}Y6y(u̽N $\gYZ7zXZִF! 'h]ŗXi%6`@OX&̓exM'T }kIbJ42qӑ62uQ5e ~涺<5(I8CvFP-`a P2 k5lv2+ۧi__o6كovdHQgrq 㻴BZ0A?nxpPxN*\='%#zTaA(9gbiL'= /gW;<)PW:I+J1MsPO"m-f?~,#gaWS qW{ ՜X7'+>kNAe)XKsC/  {V07v%JINr CPf!B3S\ۜpY(j ^%â y+-{r%7wlO:URR!!(`.~b2unkH^ս|ɨ)^}`b{ǿsHv]PXWV|nE'c* H#$W9H@& iSGs n}ظ`&qFy\BYQ ,ʩ-Yu. ۾T?i K u;6&^VNT؉^&#]Sv>ƅ݀:b?KuO=%bp*YB<i!lVH3 FA 43tD2}81Hl64zaK~GIOtnq05홝^H>ɳ9p 4 6}u՚PƱugYZce8905067b4a50946a5b13dda533942b3ac8a17e0fd942c2de17ffe6e7e669ea714c0bfd1357b97f 96be2a9745a5315d1ee7c3748cbb3041e3514260 7fbdb384c7dd334c316c02e41305ad9f8b47d436 9d70e00c399a9959d342afc0439265b4c9d42efa979e069653df1078dc1a0a67971905573ceb450f = HOL-Nonstandard_Analysis